# HG changeset patch
# User wenzelm
# Date 1747856219 -7200
# Node ID 5f985cda3095a4c52d9c9ec2f98b88eea5fbf02e
# Parent  249701eeea76bffcc85319d8f3c359ef783ada4b
update jedit component;

diff -r 249701eeea76 -r 5f985cda3095 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed May 21 17:42:38 2025 +0200
+++ b/Admin/components/components.sha1	Wed May 21 21:36:59 2025 +0200
@@ -278,6 +278,7 @@
 5637fb7b2d0c24ca4d1ffe18156d2f6a8ec9fab3 jedit-20250515.tar.gz
 62cce488b1c5541de7a56a4a49537037da2bfd44 jedit-20250516.tar.gz
 5789aa61bb37a8003a2b6e1037d217057e51cdc9 jedit-20250520.tar.gz
+a141f565676050b8b6e6e97629778f96a81d9706 jedit-20250521.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
diff -r 249701eeea76 -r 5f985cda3095 Admin/components/main
--- a/Admin/components/main	Wed May 21 17:42:38 2025 +0200
+++ b/Admin/components/main	Wed May 21 21:36:59 2025 +0200
@@ -15,7 +15,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20250520
+jedit-20250521
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3