diff options
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/labltk/lib/.cvsignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/otherlibs/labltk/lib/.cvsignore b/otherlibs/labltk/lib/.cvsignore index 656e485c85..80df4415f0 100644 --- a/otherlibs/labltk/lib/.cvsignore +++ b/otherlibs/labltk/lib/.cvsignore @@ -3,3 +3,6 @@ labltktop labltk mltktop mltk *.ml *.mli modules +labltk.cma +labltk.cmxa + |