# HG changeset patch
# User wenzelm
# Date 1477300217 -7200
# Node ID e0ab4c0a5a9384316fee185aa79fd6b91a9e92ae
# Parent  8a0fe5469ba08e00d729cef19c57f7408716f902
updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;

diff -r 8a0fe5469ba0 -r e0ab4c0a5a93 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Oct 23 16:44:17 2016 +0200
+++ b/Admin/components/components.sha1	Mon Oct 24 11:10:17 2016 +0200
@@ -102,6 +102,7 @@
 b5f7115384c167559211768eb5fe98138864473b  jedit_build-20151023.tar.gz
 8ba7b6791be788f316427cdcd805daeaa6935190  jedit_build-20151124.tar.gz
 c70c5a6c565d435a09a8639f8afd3de360708e1c  jedit_build-20160330.tar.gz
+d4e1496c257659cf15458d718f4663cdd95a404e  jedit_build-20161024.tar.gz
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
diff -r 8a0fe5469ba0 -r e0ab4c0a5a93 Admin/components/main
--- a/Admin/components/main	Sun Oct 23 16:44:17 2016 +0200
+++ b/Admin/components/main	Mon Oct 24 11:10:17 2016 +0200
@@ -6,7 +6,7 @@
 Haskabelle-2015
 isabelle_fonts-20160830
 jdk-8u112
-jedit_build-20160330
+jedit_build-20161024
 jfreechart-1.0.14-1
 jortho-1.0-2
 kodkodi-1.5.2