1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/contributed_components	Tue Dec 14 00:16:30 2010 +0100
     1.3 @@ -0,0 +1,7 @@
     1.4 +#contributed components
     1.5 +contrib/e-1.2
     1.6 +contrib/jedit-4.3.2
     1.7 +contrib/kodkodi-1.2.16
     1.8 +contrib/spass-3.7
     1.9 +contrib/scala-2.8.0.RC5
    1.10 +contrib/vampire-1.0