Admin/components
changeset 48153 210043eb4c88
parent 48149 9cb0abdf7c07
child 48161 3fd1bccb0834
--- a/Admin/components	Tue Jun 26 22:25:36 2012 +0200
+++ b/Admin/components	Tue Jun 26 22:26:41 2012 +0200
@@ -8,3 +8,4 @@
 contrib/vampire-1.0
 contrib/yices-1.0.28
 contrib/z3-3.2
+contrib/jedit_build-20120414