updated to flatlaf-1.0-rc1;
authorwenzelm
Tue, 19 Jan 2021 13:48:53 +0100
changeset 73405 aeba7bb4f4d4
parent 73404 8015b81249b1
child 73406 31fbde3baa97
updated to flatlaf-1.0-rc1;
Admin/components/components.sha1
Admin/components/main
--- a/Admin/components/components.sha1	Tue Jan 19 13:26:38 2021 +0100
+++ b/Admin/components/components.sha1	Tue Jan 19 13:48:53 2021 +0100
@@ -82,6 +82,7 @@
 ae7ee5becb26512f18c609e83b34612918bae5f0  exec_process-1.0.tar.gz
 7a4b46752aa60c1ee6c53a2c128dedc8255a4568  flatlaf-0.46-1.tar.gz
 ed5cbc216389b655dac21a19e770a02a96867b85  flatlaf-0.46.tar.gz
+d37b38b9a27a6541c644e22eeebe9a339282173d  flatlaf-1.0-rc1.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
 20b53cfc3ffc5b15c1eabc91846915b49b4c0367  isabelle_fonts-20151021.tar.gz
 736844204b2ef83974cd9f0a215738b767958c41  isabelle_fonts-20151104.tar.gz
--- a/Admin/components/main	Tue Jan 19 13:26:38 2021 +0100
+++ b/Admin/components/main	Tue Jan 19 13:48:53 2021 +0100
@@ -4,7 +4,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
-flatlaf-0.46-1
+flatlaf-1.0-rc1
 isabelle_fonts-20190717
 jdk-15.0.1+9
 jedit_build-20201223