.gitignore 116 Bytes
Newer Older
1 2
configure.log
cduce
3 4 5 6 7
*.o
*.cmo
*.cdo
*.cma
*.cmi
Kim Nguyễn's avatar
Kim Nguyễn committed
8 9 10
*.cmt
*.cmti
.merlin
11 12
*.cmx
*.cmxa
13 14
*.a
Makefile.conf
15
web/doc/*.html
16