This repository has been archived on 2022-07-14. You can view files and clone it, but cannot push or open issues or pull requests.
sh_gismo/.gitmodules

4 lines
121 B
Plaintext
Raw Normal View History

2022-01-09 10:43:24 +01:00
[submodule "src/gismo/config"]
path = src/gismo/config
url = https://git.sh-edraft.de/sh-edraft.de/sh_gismo_config.git