diff options
| author | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:12:34 +0600 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2016-12-13 08:12:34 +0600 |
| commit | 0c1f4d361548cf3de865db7a0a75eaab6c06d970 (patch) | |
| tree | 8e8803a50cd6d897436e2a721bc260b71d972423 /.gitignore | |
| parent | affd90247d952e2891b3195df1adc3b0b90a8561 (diff) | |
| download | vyconf-0c1f4d361548cf3de865db7a0a75eaab6c06d970.tar.gz vyconf-0c1f4d361548cf3de865db7a0a75eaab6c06d970.zip | |
Ignore binaries and oasis-generated files.
If we ever modify those files, we'll remove them from .gitignore of course.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -7,3 +7,11 @@ *.cmx *.cmxs *.cmxa +*.native +*.byte +setup.log +setup.data +setup.ml +myocamlbuild.ml +Makefile +configure |