diff --git a/.gitignore b/.gitignore index fe7c38a..61ce9fd 100644 --- a/.gitignore +++ b/.gitignore @@ -12,8 +12,6 @@ _build/ /tests.bytecode /tests.native /META -/stdcompat.ml_byte -/stdcompat.ml_native /.depend /stdcompat_*.ml /stdcompat_*.mli