Project

General

Profile

Statistics
| Branch: | Revision:

cool / .gitignore @ master

History | View | Annotate | Download (388 Bytes)

1 7d8d53b6 Thorsten Wißmann
# files created by editors
2
.*.swp
3
*~
4 52abec3a Thorsten Wißmann
vim.session
5 7d8d53b6 Thorsten Wißmann
# make subsidiary files
6
.depend
7
# c++-object files
8
*.o
9
*.a
10
# caml-files
11
*.cmxa
12
*.cmi
13
*.cmx
14 4d631d27 Thorsten Wißmann
# executable files
15
coalg
16
coalgcompare
17 52abec3a Thorsten Wißmann
coalg.native
18
coalgcompare.native
19 7f2800d0 Thorsten Wißmann
*.native
20 52abec3a Thorsten Wißmann
21
# oasis build system temp files
22
setup.ml
23
setup.data
24
setup.log
25
_build/
26
_tags
27
*.clib
28
myocamlbuild.ml
29 c14c011a Thorsten Wißmann
*.mllib
30
*.mldylib
31 885cc0df Hans-Peter Deifel
/.merlin
32 7198f96f Hans-Peter Deifel
/cool_api.docdir
33
/src/lib/cool_api.odocl