Skip to content

Commit

Permalink
no message
Browse files Browse the repository at this point in the history
  • Loading branch information
@florian-rabe
florian-rabe committed Jun 27, 2023
1 parent 060fd07 commit f9694ca
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion deploy/run-file.bat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,5 @@
rem This is like run.bat except that it automatically loads an msl file passed as an argument.
rem You may want to associate the msl file ending with this script.

java -Xmx1024m -cp %~dp0/mmt.jar info.kwarc.mmt.api.frontend.Run :file %1
call java -Xmx1024m -cp %~dp0/mmt.jar info.kwarc.mmt.api.frontend.Run :file %1
pause

0 comments on commit f9694ca

Please sign in to comment.