# HG changeset patch
# User wenzelm
# Date 1383769220 -3600
# Node ID 52ed202464a515a0e106bade8a9afaf713d3cd97
# Parent  39ac1a02c60c23ac665ddefed1aaba9d278c97bb
updated to jedit_build-20131106 (Console.jar 5.1.3);

diff -r 39ac1a02c60c -r 52ed202464a5 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Nov 06 20:58:11 2013 +0100
+++ b/Admin/components/components.sha1	Wed Nov 06 21:20:20 2013 +0100
@@ -38,6 +38,7 @@
 87136818fd5528d97288f5b06bd30c787229eb0d  jedit_build-20130910.tar.gz
 c63189cbe39eb8104235a0928f579d9523de78a9  jedit_build-20130925.tar.gz
 65cc13054be20d3a60474d406797c32a976d7db7  jedit_build-20130926.tar.gz
+30ca171f745adf12b65c798c660ac77f9c0f9b4b  jedit_build-20131106.tar.gz
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 6c737137cc597fc920943783382e928ea79e3feb  kodkodi-1.2.16.tar.gz
diff -r 39ac1a02c60c -r 52ed202464a5 Admin/components/main
--- a/Admin/components/main	Wed Nov 06 20:58:11 2013 +0100
+++ b/Admin/components/main	Wed Nov 06 21:20:20 2013 +0100
@@ -4,7 +4,7 @@
 exec_process-1.0.3
 Haskabelle-2013
 jdk-7u40
-jedit_build-20130926
+jedit_build-20131106
 jfreechart-1.0.14-1
 kodkodi-1.5.2
 polyml-5.5.1