diff options
Diffstat (limited to 'otherlibs/labltk/lib/labltk.bat')
| -rwxr-xr-x | otherlibs/labltk/lib/labltk.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/lib/labltk.bat b/otherlibs/labltk/lib/labltk.bat index f760e80006..8020fafdde 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 |