diff -r 84395a03abbb -r 9cb0abdf7c07 Admin/contributed_components
--- a/Admin/contributed_components	Tue Jun 26 15:58:22 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-#contributed components
-contrib/cvc3-2.2
-contrib/e-1.5
-contrib/hol-light-bundle-0.5-126
-contrib/kodkodi-1.2.16
-contrib/spass-3.8ds
-contrib/scala-2.9.2
-contrib/vampire-1.0
-contrib/yices-1.0.28
-contrib/z3-3.2