cleanup

gares · gares · commit f0f91e35e46a · 2024-10-02T13:06:23.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -56,4 +56,3 @@ tmp.out
 coq-elpi-tests.opam
 coq-elpi-tests.install
 coq-elpi.install
-_opam
