# HG changeset patch
# User wenzelm
# Date 1738180347 -3600
# Node ID 6a241e374a67fdd238809df74d5743e029da399b
# Parent  fe186fd7a168e45048663a9a0f4861ced7c21fd1
rebuild jedit component;

diff -r fe186fd7a168 -r 6a241e374a67 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Jan 29 20:17:21 2025 +0100
+++ b/Admin/components/components.sha1	Wed Jan 29 20:52:27 2025 +0100
@@ -253,6 +253,7 @@
 fbfd1d8a117a5bd844f230903d561cb88d3e5189 jedit-20240425.tar.gz
 5117b7d0283adf31cf2bde17a9912eb775a0822f jedit-20241101.tar.gz
 a8b11ddf7f6838ea53868e46cb4555b7fa60e776 jedit-20241115.tar.gz
+6a5d78867dc6f692f8f3ab758e3ac1b86fabd3bf jedit-20250129.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
diff -r fe186fd7a168 -r 6a241e374a67 Admin/components/main
--- a/Admin/components/main	Wed Jan 29 20:17:21 2025 +0100
+++ b/Admin/components/main	Wed Jan 29 20:52:27 2025 +0100
@@ -15,7 +15,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20241115
+jedit-20250129
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3