.gitignore 223 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus 's avatar
Michael Hanus committed
5
cpm/src/CPM/ConfigPackage.curry
Michael Hanus 's avatar
Michael Hanus committed
6
*.agdai
Michael Hanus 's avatar
Michael Hanus committed
7
*_cache
8
9

# executables
Michael Hanus 's avatar
Michael Hanus committed
10
cpm/src/CPM.Main
11
cpns/CPNSD
12
currypp/Main
Michael Hanus 's avatar
Michael Hanus committed
13
optimize/BindingOpt
Michael Hanus 's avatar
Michael Hanus committed
14
runcurry/RunCurry
15
16
www/Registry
www/SubmitForm