# HG changeset patch # User krauss # Date 1292282190 -3600 # Node ID 573f557ed716accf87c47828a89772762d7c70e4 # Parent b290841cd3b00dfe77bc79d75bc497157acf3758 Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory 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