# HG changeset patch
# User wenzelm
# Date 1606749762 -3600
# Node ID 935f028d5f44bbc17a51a03a5b95685d29d5c0d2
# Parent  146e3f9bb5e7140e8ec9ebf3c6dfedc96876100e
updated to jfreechart-1.5.1;

diff -r 146e3f9bb5e7 -r 935f028d5f44 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Nov 30 15:51:29 2020 +0100
+++ b/Admin/components/components.sha1	Mon Nov 30 16:22:42 2020 +0100
@@ -186,6 +186,7 @@
 0bd2bc2d9a491ba5fc8dd99df27c04f11a72e8fa  jfreechart-1.0.14-1.tar.gz
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
+d84b7d8ef273afec55284327fca7dd20f5ecb77a  jfreechart-1.5.1.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
 2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
diff -r 146e3f9bb5e7 -r 935f028d5f44 Admin/components/main
--- a/Admin/components/main	Mon Nov 30 15:51:29 2020 +0100
+++ b/Admin/components/main	Mon Nov 30 16:22:42 2020 +0100
@@ -7,7 +7,7 @@
 isabelle_fonts-20190717
 jdk-11.0.9+11
 jedit_build-20200908
-jfreechart-1.5.0
+jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
 nunchaku-0.5