Revision 22427c23f958afa88a6be4bafa385c781d16ba0e authored by Karsten Rink on 22 March 2021, 09:53:42 UTC, committed by Karsten Rink on 22 March 2021, 09:53:42 UTC
[App/IO] Remove unused XmlNumInterface.

See merge request ogs/ogs!3532
2 parent s c495f2c + ceace37
Raw File
.editorconfig
[*]
indent_style = space
charset = utf-8
trim_trailing_whitespace = true
insert_final_newline = true
indent_size = 4

[*.{md,pandoc}]
trim_trailing_whitespace = false

[*.{json,yml,yaml,toml,html,css,js,scss}]
indent_size = 2
back to top