Commit 37d1e7b2 authored by Michael Hanus 's avatar Michael Hanus
Browse files

gitignore updated

parent 50c5abd2
......@@ -3,6 +3,7 @@
.curry
Curry_Main_Goal.curry
*.agdai
*_cache
# executables
addtypes/AddTypes
......
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