diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:52:25 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-02-04 19:52:25 +0000 |
commit | 41513c2568025bda74a9ddf9e90e848cd810525f (patch) | |
tree | 5ccbb1d4454eccceb80794599a537d5d8ede3db1 /.gitignore | |
parent | a2aafb7de592a60a86add13e184396e07b75ab07 (diff) | |
download | vericert-41513c2568025bda74a9ddf9e90e848cd810525f.tar.gz vericert-41513c2568025bda74a9ddf9e90e848cd810525f.zip |
Add dune files to .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -33,4 +33,9 @@ Makefile.coq Makefile.coq.conf .coqdeps.d -extraction/src/
\ No newline at end of file +extraction/src/ + +# Ocaml +_build +dune-project +.merlin |