Admin/components/components.sha1
changeset 82627 dc7efd564544
parent 82625 0fa6759948bc
child 82639 f7007ebfb556
--- a/Admin/components/components.sha1	Fri May 16 12:10:49 2025 +0200
+++ b/Admin/components/components.sha1	Fri May 16 12:41:42 2025 +0200
@@ -276,6 +276,7 @@
 07360418d691f6bb0e250e8efeb6b935e23eb0cd jedit-20250423.tar.gz
 995ac4cd9086e1647f1628988884c7c135123965 jedit-20250424.tar.gz
 5637fb7b2d0c24ca4d1ffe18156d2f6a8ec9fab3 jedit-20250515.tar.gz
+62cce488b1c5541de7a56a4a49537037da2bfd44 jedit-20250516.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz