add _opam to .gitignore

FissoreD · gares · commit 02dc4cbd9901 · 2024-10-02T13:21:28.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -55,4 +55,5 @@ _build
 tmp.out
 coq-elpi-tests.opam
 coq-elpi-tests.install
-coq-elpi.install
+coq-elpi.install
+_opam
