Skip to content
GitLab
Explore
Sign in
Register
curry
curry-tools
Repository
curry-tools
README
Find file
Blame
History
Permalink
Merge branch 'master' of git@git-ps.informatik.uni-kiel.de:curry/curry-tools.git
· 38061d1d
Michael Hanus
authored
Oct 31, 2012
Conflicts: .gitignore Makefile README browser/Makefile
38061d1d