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
.node-version
10
back to top