From ce36da68809e37173f71c73009ddc063bfa6c9a0 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 25 May 2008 23:42:58 +0200
Subject: [PATCH] CONFIG_MOP is now enabled by default.

---
 default.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.cfg b/default.cfg
index 22cf3e6..3709b5f 100644
--- a/default.cfg
+++ b/default.cfg
@@ -4,7 +4,7 @@
 Set("CONFIG_SUBMIT" => 1);
 
 # Build MO-P contest environment
-#Set("CONFIG_MOP" => 1);
+Set("CONFIG_MOP" => 1);
 
 # Settings of libucw
 UnSet("CONFIG_SHARED");
-- 
2.39.2