# HG changeset patch
# User wenzelm
# Date 1380227369 -7200
# Node ID 787242dbb49ed771ed0208bb7c4916d4ad6b1fbf
# Parent  7924d61b50cf45d00332a846733caf09f83f7bdf
updated jedit.jar, jEdit-patched.tar.gz according to 239f8f451976;

diff -r 7924d61b50cf -r 787242dbb49e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Sep 26 21:39:10 2013 +0200
+++ b/Admin/components/components.sha1	Thu Sep 26 22:29:29 2013 +0200
@@ -37,6 +37,7 @@
 5de3e399be2507f684b49dfd13da45228214bbe4  jedit_build-20130905.tar.gz
 87136818fd5528d97288f5b06bd30c787229eb0d  jedit_build-20130910.tar.gz
 c63189cbe39eb8104235a0928f579d9523de78a9  jedit_build-20130925.tar.gz
+65cc13054be20d3a60474d406797c32a976d7db7  jedit_build-20130926.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 7924d61b50cf -r 787242dbb49e Admin/components/main
--- a/Admin/components/main	Thu Sep 26 21:39:10 2013 +0200
+++ b/Admin/components/main	Thu Sep 26 22:29:29 2013 +0200
@@ -4,7 +4,7 @@
 exec_process-1.0.3
 Haskabelle-2013
 jdk-7u40
-jedit_build-20130925
+jedit_build-20130926
 jfreechart-1.0.14-1
 kodkodi-1.5.2
 polyml-5.5.1