diff options
Diffstat (limited to 'otherlibs/threads/.cvsignore')
-rw-r--r-- | otherlibs/threads/.cvsignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/otherlibs/threads/.cvsignore b/otherlibs/threads/.cvsignore index fb2df562de..c17596c7d0 100644 --- a/otherlibs/threads/.cvsignore +++ b/otherlibs/threads/.cvsignore @@ -1,3 +1,5 @@ marshal.mli pervasives.mli unix.mli +*.so +*.a |