Ignore local _opam switch

2017-09-22 17:40:07 +02:00 · 2017-09-22 17:40:07 +02:00 · 0d8292048e
commit 0d8292048e
parent 8da6c1cbf4
2 changed files with 4 additions and 0 deletions
--- a/.dockerignore
+++ b/.dockerignore
@ -47,3 +47,5 @@ test/LOG.*

 **/*.rej
 **/*.orig
+
+_opam
--- a/.gitignore
+++ b/.gitignore
@ -46,3 +46,5 @@ bisect*.out

 *.rej
 *.orig
+
+/_opam