.gitmodules 77 Bytes
Newer Older
1 2 3
[submodule "ci"]
	path = ci
	url = https://gitlab.mpi-sws.org/FP/iris-ci.git