cleanup

gares · gares · commit 279e3218891b · 2024-10-02T13:21:28.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
