add _opam to .gitignore

FissoreD · FissoreD · commit 11d770810b4c · 2024-09-30T13:43:49.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
