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