src/Pure/Admin/build_zstd.scala
Wed, 30 Nov 2022 22:07:59 +0100 wenzelm tuned signature;
Wed, 30 Nov 2022 21:53:55 +0100 wenzelm tuned signature;
Wed, 30 Nov 2022 15:32:25 +0100 wenzelm clarified signature: prefer Scala functions instead of shell scripts;
Sun, 20 Nov 2022 23:37:54 +0100 wenzelm clarified signature: more explicit types;
Sat, 05 Nov 2022 19:13:48 +0100 wenzelm tuned signature;
Fri, 21 Oct 2022 11:08:01 +0200 wenzelm support for Zstd data compression;
less more (0) tip