.gitignore 201 Bytes
Newer Older
1
2
3
4
# intermediate files
*~
.curry
*.state
5
6

# executables
Michael Hanus's avatar
Michael Hanus committed
7
8
browser/BrowserGUI
browser/SourceProgGUI
9
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
10
currytest/CurryTest
Michael Hanus's avatar
Michael Hanus committed
11
createmakefile/CreateMakefile
12
13
genint/GenInt
importcalls/ImportCalls