Add dynlink_compilerlibs.mli to .gitignore (ocaml#79)

stedolan · Dec 13, 2022 · 985725b · 985725b
1 parent 2b1fa24
commit 985725b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -144,6 +144,7 @@ _build
 /otherlibs/dynlink/dynlink_compilerlibs/*.ml
 /otherlibs/dynlink/dynlink_compilerlibs/*.mli
 /otherlibs/dynlink/dynlink_compilerlibs/.depend
+/otherlibs/dynlink/dynlink_compilerlibs.mli
 /otherlibs/threads/marshal.mli
 /otherlibs/threads/stdlib.mli
 /otherlibs/threads/unix.mli