diff options
Diffstat (limited to 'otherlibs/labltk/lib')
| -rw-r--r-- | otherlibs/labltk/lib/Makefile.nt | 2 | ||||
| -rwxr-xr-x | otherlibs/labltk/lib/labltk.bat | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/lib/Makefile.nt b/otherlibs/labltk/lib/Makefile.nt index 67bf904ed..2b0b5ab53 100644 --- a/otherlibs/labltk/lib/Makefile.nt +++ b/otherlibs/labltk/lib/Makefile.nt @@ -1 +1 @@ -include Makefile
\ No newline at end of file +include Makefile diff --git a/otherlibs/labltk/lib/labltk.bat b/otherlibs/labltk/lib/labltk.bat index f760e8000..8020fafdd 100755 --- a/otherlibs/labltk/lib/labltk.bat +++ b/otherlibs/labltk/lib/labltk.bat @@ -1 +1 @@ -@ocaml -I +labltk labltk.cma %1 %2 %3 %4 %5 %6 %7 %8 %9
\ No newline at end of file +@ocaml -I +labltk labltk.cma %1 %2 %3 %4 %5 %6 %7 %8 %9 |