diff -r 7f3c34b6208f -r 6052d0605a74 mtasc/mtasc.patch --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mtasc/mtasc.patch Wed Feb 25 13:55:52 2009 +0100 @@ -0,0 +1,17 @@ +Index: install.ml +--- install.ml.orig 2006-08-02 17:59:19 +0200 ++++ install.ml 2008-05-30 17:49:27 +0200 +@@ -104,10 +104,10 @@ + in + let startdir = Sys.getcwd() in + try +- download(); ++ (* download(); *) + compile(); + Sys.chdir startdir; + with + Failure msg -> + Sys.chdir startdir; +- prerr_endline msg; exit 1 +\ No newline at end of file ++ prerr_endline msg; exit 1