Commit 1701756b authored by Michael Hanus's avatar Michael Hanus
Browse files

gitignore updated

parent 009ad71e
......@@ -7,6 +7,8 @@
addtypes/AddTypes
browser/BrowserGUI
browser/SourceProgGUI
CASS/cass
CASS/cass_worker
curry2js/Curry2JS
currydoc/CurryDoc
currytest/CurryTest
......
Supports Markdown
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