diff -r b290841cd3b0 -r 573f557ed716 Admin/contributed_components --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/contributed_components Tue Dec 14 00:16:30 2010 +0100 @@ -0,0 +1,7 @@ +#contributed components +contrib/e-1.2 +contrib/jedit-4.3.2 +contrib/kodkodi-1.2.16 +contrib/spass-3.7 +contrib/scala-2.8.0.RC5 +contrib/vampire-1.0