# HG changeset patch
# User wenzelm
# Date 1633188743 -7200
# Node ID 54a064957ff351e408f44fc713469777dd53af54
# Parent  b6a561f9c8280a37faf0b5f49ecd792b207d4213
updated to jfreechart-1.5.3;

diff -r b6a561f9c828 -r 54a064957ff3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Oct 02 17:21:54 2021 +0200
+++ b/Admin/components/components.sha1	Sat Oct 02 17:32:23 2021 +0200
@@ -236,6 +236,7 @@
 8122526f1fc362ddae1a328bdbc2152853186fee  jfreechart-1.0.14.tar.gz
 d911f63a5c9b4c7335bb73f805cb1711ce017a84  jfreechart-1.5.0.tar.gz
 d84b7d8ef273afec55284327fca7dd20f5ecb77a  jfreechart-1.5.1.tar.gz
+6fa0c221ef55919b684449f0111a8112358e94ff  jfreechart-1.5.3.tar.gz
 c8a19a36adf6cefa779d85f22ded2f4654e68ea5  jortho-1.0-1.tar.gz
 2155e0bdbd29cd3d2905454de2e7203b9661d239  jortho-1.0-2.tar.gz
 ffe179867cf5ffaabbb6bb096db9bdc0d7110065  jortho-1.0.tar.gz
diff -r b6a561f9c828 -r 54a064957ff3 Admin/components/main
--- a/Admin/components/main	Sat Oct 02 17:21:54 2021 +0200
+++ b/Admin/components/main	Sat Oct 02 17:32:23 2021 +0200
@@ -11,7 +11,7 @@
 isabelle_setup-20210922
 jdk-17+35
 jedit-20210802
-jfreechart-1.5.1
+jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.6-1
 nunchaku-0.5