.gitignore 382 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
*_CACHE
Michael Hanus 's avatar
Michael Hanus committed
9
10
11
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
optimize/.cpm/packages/flatcurry-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
12
optimize/.cpm/packages/csv-1.0.0
Michael Hanus 's avatar
Michael Hanus committed
13
optimize/.cpm/packages/xml-2.0.0
14
15

# executables
Michael Hanus 's avatar
Michael Hanus committed
16
cpm/src/CPM.Main
17
cpns/CPNSD
Michael Hanus 's avatar
Michael Hanus committed
18
optimize/BindingOpt
19
20
www/Registry
www/SubmitForm