# HG changeset patch # User wenzelm # Date 1745353230 -7200 # Node ID 7fac6b070a49b1bd7d60223550adc71cf5e408cf # Parent 1033ed5d3972a275637fedf11bc9530a7619e2b9 update jedit component; diff -r 1033ed5d3972 -r 7fac6b070a49 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Tue Apr 22 22:11:16 2025 +0200 +++ b/Admin/components/components.sha1 Tue Apr 22 22:20:30 2025 +0200 @@ -272,6 +272,7 @@ 88c9cc14f5618ad21ca17664fdb57b8f5f6f6d2e jedit-20250404.tar.gz cab6dca89dc2e0d922e92cc47df07941a3c6b29c jedit-20250415.tar.gz 23297ab36a853247a17f87b94a29654f3259b341 jedit-20250417.tar.gz +a291746959e64916e8504b89dca804186d4eb8a1 jedit-20250422.tar.gz 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz diff -r 1033ed5d3972 -r 7fac6b070a49 Admin/components/main --- a/Admin/components/main Tue Apr 22 22:11:16 2025 +0200 +++ b/Admin/components/main Tue Apr 22 22:20:30 2025 +0200 @@ -15,7 +15,7 @@ isabelle_setup-20240327 javamail-20250122 jdk-21.0.6 -jedit-20250417 +jedit-20250422 jfreechart-1.5.3 jortho-1.0-2 jsoup-1.18.3