.gitmodules 177 Bytes
Newer Older
1 2 3
[submodule "doc"]
	path = doc
	url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git
Alexander Weigl's avatar
Alexander Weigl committed
4 5
[submodule "DockFX"]
	path = DockFX
Alexander Weigl's avatar
Alexander Weigl committed
6
	url = https://github.com/ClearControl/DockFX.git