# HG changeset patch
# User blanchet
# Date 1283435312 -7200
# Node ID c51e80de9b7e9d9f3f59aa83f34881b92055c70e
# Parent  e3799716b73321788054dec7b1b1269e6d302a74# Parent  08a9970ca2fefcfb4c5142b614b6b95a59619e52
merged

diff -r e3799716b733 -r c51e80de9b7e Admin/isatest/settings/cygwin-poly-e
--- a/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 14:19:15 2010 +0200
+++ b/Admin/isatest/settings/cygwin-poly-e	Thu Sep 02 15:48:32 2010 +0200
@@ -24,6 +24,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
 
-# Disable while Jasmin is on vacation
-unset KODKODI
-#init_component "$HOME/contrib_devel/kodkodi"
+init_component "$HOME/contrib_devel/kodkodi"