diff options
| author | Notkea | 2018-03-30 15:08:47 +0200 |
|---|---|---|
| committer | GitHub | 2018-03-30 15:08:47 +0200 |
| commit | 747271151ceeb184163ddfecfc90b31af8013be6 (patch) | |
| tree | 8a1cf1ad61498e5a7bd2faba3cd67f74928ca9a8 /.gitignore | |
| download | urm-747271151ceeb184163ddfecfc90b31af8013be6.tar.gz | |
Initial commit
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 | ||