diff --git a/otherlibs/win32unix/.cvsignore b/otherlibs/win32unix/.cvsignore index 7f0c559f0..9aaa7161d 100644 --- a/otherlibs/win32unix/.cvsignore +++ b/otherlibs/win32unix/.cvsignore @@ -1,2 +1,3 @@ unixLabels.ml* +unix.mli unix.lib \ No newline at end of file