https://gitlab.opengeosys.org/ogs/ogs.git
History
Tip revision: 5d1b776467936c77cc2f639eb671cdb34679235e authored by Lars Bilke on 14 June 2023, 12:51:23 UTC
Merge branch 'ci-pre-commit' into 'master'
Tip revision: 5d1b776

back to top