.gitmodules 91 Bytes
Newer Older
1
2
3
[submodule "doc"]
	path = doc
	url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git