# HG changeset patch
# User wenzelm
# Date 1524166004 -7200
# Node ID 9dff12eab305ffb335fa8eaed14078bce5fa5ba5
# Parent  a1a023f08c8ffece4422f5121e7d34a35b3c6292# Parent  9e8214deed3e230582b2834f3e6cafaf25eb6bd3
merged

diff -r a1a023f08c8f -r 9dff12eab305 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Apr 19 16:10:06 2018 +0100
+++ b/Admin/components/components.sha1	Thu Apr 19 21:26:44 2018 +0200
@@ -127,6 +127,7 @@
 7bcb202e13358dd750e964b2f747664428b5d8b3  jedit_build-20180417.tar.gz
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
+d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
 2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
diff -r a1a023f08c8f -r 9dff12eab305 Admin/components/main
--- a/Admin/components/main	Thu Apr 19 16:10:06 2018 +0100
+++ b/Admin/components/main	Thu Apr 19 21:26:44 2018 +0200
@@ -7,7 +7,7 @@
 isabelle_fonts-20180113
 jdk-8u162
 jedit_build-20180417
-jfreechart-1.0.14-1
+jfreechart-1.5.0
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5