src/Pure/General/zstd.scala
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