# HG changeset patch # User wenzelm # Date 1459341220 -7200 # Node ID e5828ed9a57621b059acbad7931d6b91098d98a3 # Parent 7fde2461f9ef0515cca38e1152c6e7800221eb7d updated to Navigator 2.6; diff -r 7fde2461f9ef -r e5828ed9a576 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Tue Mar 29 23:45:28 2016 +0200 +++ b/Admin/components/components.sha1 Wed Mar 30 14:33:40 2016 +0200 @@ -92,6 +92,7 @@ 14ce124c897abfa23713928dc034d6ef0e1c5031 jedit_build-20150228.tar.gz b5f7115384c167559211768eb5fe98138864473b jedit_build-20151023.tar.gz 8ba7b6791be788f316427cdcd805daeaa6935190 jedit_build-20151124.tar.gz +c70c5a6c565d435a09a8639f8afd3de360708e1c jedit_build-20160330.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 7fde2461f9ef -r e5828ed9a576 Admin/components/main --- a/Admin/components/main Tue Mar 29 23:45:28 2016 +0200 +++ b/Admin/components/main Wed Mar 30 14:33:40 2016 +0200 @@ -6,7 +6,7 @@ Haskabelle-2015 isabelle_fonts-20160227 jdk-8u72 -jedit_build-20151124 +jedit_build-20160330 jfreechart-1.0.14-1 jortho-1.0-2 kodkodi-1.5.2