From b22dccafa9d38c686a7d3d1f1d9c1142dfa8336d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jun=20FURUSE=20/=20=E5=8F=A4=E7=80=AC=20=E6=B7=B3?= Date: Tue, 9 Apr 2002 08:18:51 +0000 Subject: [PATCH] unix.mli is cvsignored git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4613 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/win32unix/.cvsignore | 1 + 1 file changed, 1 insertion(+) 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