Commit 38014d9c authored by Michael Hanus 's avatar Michael Hanus
Browse files

gitignore updated

parent 1d6ccb26
......@@ -2,6 +2,7 @@
*~
.curry
Curry_Main_Goal.curry
cpm/src/CPM/ConfigPackage.curry
*.agdai
*_cache
browser/.cpm/packages/addtypes-0.0.1
......
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