.gitmodules 114 Bytes
Newer Older
1 2 3 4
[submodule "internal"]
	path = internal
	url = https://git.rwth-aachen.de/ita/toolbox-intern.git
	branch = master