src/Pure/General/zstd.scala
Tue, 07 Mar 2023 23:24:40 +0100 wenzelm tuned headers;
Fri, 25 Nov 2022 13:38:15 +0100 wenzelm clarified signature;
Fri, 21 Oct 2022 18:06:32 +0200 wenzelm clarified signature;
Fri, 21 Oct 2022 13:15:24 +0200 wenzelm clarified Zstd.init(): avoid accidential com.github.luben.zstd.util.Native.load() operation;
Fri, 21 Oct 2022 11:08:01 +0200 wenzelm support for Zstd data compression;
less more (0) tip