wenzelm [Sun, 04 Dec 2022 14:15:12 +0100] rev 76552
more direct access to jEdit jar resources, without unzip;
wenzelm [Thu, 01 Dec 2022 11:36:45 +0100] rev 76551
clarified check: allow to remove bad directories;
wenzelm [Thu, 01 Dec 2022 11:32:59 +0100] rev 76550
clarified check;
tuned message;
wenzelm [Thu, 01 Dec 2022 11:30:51 +0100] rev 76549
tuned message;
wenzelm [Wed, 30 Nov 2022 22:07:59 +0100] rev 76548
tuned signature;
wenzelm [Wed, 30 Nov 2022 21:53:55 +0100] rev 76547
tuned signature;
wenzelm [Wed, 30 Nov 2022 21:36:06 +0100] rev 76546
proper unzip with strip option, within the JVM;
tuned component build process;
wenzelm [Wed, 30 Nov 2022 15:53:21 +0100] rev 76545
updated to sqlite-jdbc-3.39.4.1;
clarified directory layout;
wenzelm [Wed, 30 Nov 2022 15:38:58 +0100] rev 76544
more standard component build process;
wenzelm [Wed, 30 Nov 2022 15:32:25 +0100] rev 76543
clarified signature: prefer Scala functions instead of shell scripts;