Mon, 02 Aug 2021 14:08:42 +0200 | wenzelm | clarified jEdit java sources; | changeset | files |
Mon, 02 Aug 2021 13:50:45 +0200 | wenzelm | clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; | changeset | files |
Mon, 02 Aug 2021 13:30:56 +0200 | wenzelm | removed junk; | changeset | files |