# HG changeset patch
# User krauss
# Date 1325287172 -3600
# Node ID 7a1af666652711a1ac9a9be35425faae58a34e88
# Parent  f94b7179a75d504b1477f137ebb0ceb2c2983f1e
disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5)

diff -r f94b7179a75d -r 7a1af6666527 Admin/contributed_components
--- a/Admin/contributed_components	Fri Dec 30 18:14:56 2011 +0100
+++ b/Admin/contributed_components	Sat Dec 31 00:19:32 2011 +0100
@@ -1,7 +1,7 @@
 #contributed components
 contrib/cvc3-2.2
 contrib/e-1.4
-contrib/kodkodi-1.2.16
+#contrib/kodkodi-1.2.16
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0