https://gitlab.opengeosys.org/ogs/ogs.git
History
Tip revision: 58220e3cbdffe72e55be4f3747a0b7e8f9a53adb authored by Lars Bilke on 14 April 2023, 14:15:04 UTC
Merge branch 'gmsh-no-x11' into 'master'
Tip revision: 58220e3

back to top