diff options
Diffstat (limited to 'options/gitignore/OCaml')
-rw-r--r-- | options/gitignore/OCaml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/options/gitignore/OCaml b/options/gitignore/OCaml index da0b20424a..a18e08402b 100644 --- a/options/gitignore/OCaml +++ b/options/gitignore/OCaml @@ -21,3 +21,9 @@ setup.log # Merlin configuring file for Vim and Emacs .merlin + +# Dune generated files +*.install + +# Local OPAM switch +_opam/ |