# 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