Commit 701d92ce authored by Alexander Weigl's avatar Alexander Weigl

remove submodules

parent d8b9ba9b
[submodule "doc"]
path = doc
url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git
[submodule "lib/AnchorFX"]
path = lib/AnchorFX
url = https://github.com/alexbodogit/AnchorFX.git
[submodule "lib/DockFX"]
path = lib/DockFX
url = https://github.com/RobertBColton/DockFX.git
Subproject commit 0773eb4419e126d2cfa18863306ad1c48050e9b6
Subproject commit bbbc57653d6a0bc7463539de30fec075443c0843
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment