Commit e42d26ab authored by Michael Hanus 's avatar Michael Hanus

Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/pakcs

parents ce46312e 11ca5cd4
Subproject commit 92eccaedac1a787f085e8310db22add7b8e37dcb
Subproject commit 64a93032f475f4a70115de3719a979a73086483f
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