Project

General

Profile

Revision 3769b712 .gitignore

View differences:

.gitignore
1 1
*~
2
/src/_build/
2
_build/
3 3
/setup.data
4 4
/setup.log
5 5
/src/version.ml
6
/src/verifierList.ml
6 7
/src/pluginList.ml
7 8
/myocamlbuild.ml
8 9
*.cmt

Also available in: Unified diff