update jedit component;
authorwenzelm
Tue, 20 May 2025 20:05:50 +0200
changeset 82639 f7007ebfb556
parent 82638 e8674158bbba
child 82640 9e35c1662aec
update jedit component;
Admin/components/components.sha1
Admin/components/main
--- a/Admin/components/components.sha1	Tue May 20 19:59:28 2025 +0200
+++ b/Admin/components/components.sha1	Tue May 20 20:05:50 2025 +0200
@@ -277,6 +277,7 @@
 995ac4cd9086e1647f1628988884c7c135123965 jedit-20250424.tar.gz
 5637fb7b2d0c24ca4d1ffe18156d2f6a8ec9fab3 jedit-20250515.tar.gz
 62cce488b1c5541de7a56a4a49537037da2bfd44 jedit-20250516.tar.gz
+5789aa61bb37a8003a2b6e1037d217057e51cdc9 jedit-20250520.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
--- a/Admin/components/main	Tue May 20 19:59:28 2025 +0200
+++ b/Admin/components/main	Tue May 20 20:05:50 2025 +0200
@@ -15,7 +15,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20250516
+jedit-20250520
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3