Commit 28fcc37f authored by Michael Hanus's avatar Michael Hanus
Browse files

Submodule lib-trunk url changed

parent 5de0ddb5
......@@ -9,4 +9,4 @@
url = git://git-ps.informatik.uni-kiel.de/curry/curry-tools.git
[submodule "lib-trunk"]
path = lib-trunk
url = git@git-ps.informatik.uni-kiel.de:curry/curry-libs.git
url = git://git-ps.informatik.uni-kiel.de:curry/curry-libs.git
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