| Wed, 23 Apr 2025 13:32:16 +0200 | wenzelm | clarified patches; | changeset | files |
| Wed, 23 Apr 2025 10:01:34 +0200 | wenzelm | more uniform init_lafs(); | changeset | files |
| Tue, 22 Apr 2025 22:21:48 +0200 | wenzelm | tuned signature, following 1033ed5d3972; | changeset | files |
| Tue, 22 Apr 2025 22:20:30 +0200 | wenzelm | update jedit component; | changeset | files |