changeset 49006 | 0febe9e433dd |
parent 49005 | 96d5e42e5e3a |
child 49007 | f781bbe0d91b |
--- a/Admin/components_old Wed Aug 29 21:27:32 2012 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -#contributed components -contrib/cvc3-2.4.1 -contrib/e-1.5 -contrib/hol-light-bundle-0.5-126 -contrib/kodkodi-1.2.16 -contrib/spass-3.8ds -contrib/vampire-1.0 -contrib/yices-1.0.28 -contrib/z3-4.0 -contrib/jdk-7u6 -contrib/scala-2.9.2 -contrib/jedit_build-20120813 -