# HG changeset patch
# User haftmann
# Date 1340742401 -7200
# Node ID 210043eb4c88209c93967c0b9ba2aa82e0892198
# Parent  f06697f776b05fb13f9458f2b47de9092029e933
include jedut_build among canonical components

diff -r f06697f776b0 -r 210043eb4c88 Admin/components
--- 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