Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .gitignore @ 3769b712

History | View | Annotate | Download (177 Bytes)

1
*~
2
_build/
3
/setup.data
4
/setup.log
5
/src/version.ml
6
/src/verifierList.ml
7
/src/pluginList.ml
8
/myocamlbuild.ml
9
*.cmt
10
*.log
11
Makefile
12
/configure
13
/src/_tags
14
/bin
15
*cache/
16
/config.status