]> mj.ucw.cz Git - eval.git/commitdiff
MO-P: We do not use the submit server any longer
authorMartin Mares <mj@ucw.cz>
Thu, 25 Jun 2015 15:51:17 +0000 (17:51 +0200)
committerMartin Mares <mj@ucw.cz>
Thu, 25 Jun 2015 15:51:17 +0000 (17:51 +0200)
mop/default.cfg

index ecc3d19855feb79301b1d09036336a5e62ee7e66..f2b1a7aa946fa61563163049f54442647fc8f7e5 100644 (file)
@@ -1,5 +1,5 @@
 # Config file for building the MO-P version
 
 require "default.cfg";
 # Config file for building the MO-P version
 
 require "default.cfg";
-Set("CONFIG_SUBMIT" => 1);
+Set("CONFIG_SUBMIT" => 1);
 Set("CONFIG_MOP" => 1);
 Set("CONFIG_MOP" => 1);