.gitignore 95 Bytes
Newer Older
1 2
configure.log
cduce
3 4 5 6 7 8 9
*.o
*.cmo
*.cdo
*.cma
*.cmi
*.cmx
*.cmxa
10 11
*.a
Makefile.conf
12
web/doc/*.html
13