https://gitlab.opengeosys.org/ogs/ogs.git
History
Tip revision: 75431a2bdd7ede3f9b813c2024751200f7f14685 authored by Lars Bilke on 17 October 2023, 07:52:36 UTC
Merge branch 'ruff' into 'master'
Tip revision: 75431a2

back to top