diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f7817ae --- /dev/null +++ b/.gitignore | |||
| @@ -0,0 +1,20 @@ | |||
| 1 | *.annot | ||
| 2 | *.cmo | ||
| 3 | *.cma | ||
| 4 | *.cmi | ||
| 5 | *.a | ||
| 6 | *.o | ||
| 7 | *.cmx | ||
| 8 | *.cmxs | ||
| 9 | *.cmxa | ||
| 10 | |||
| 11 | # ocamlbuild working directory | ||
| 12 | _build/ | ||
| 13 | |||
| 14 | # ocamlbuild targets | ||
| 15 | *.byte | ||
| 16 | *.native | ||
| 17 | |||
| 18 | # oasis generated files | ||
| 19 | setup.data | ||
| 20 | setup.log | ||