src/Pure/Build/export.scala
Sat, 08 Jun 2024 23:17:20 +0200 wenzelm more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);
Sun, 10 Mar 2024 10:50:12 +0100 wenzelm tuned signature: more uniform SQL.Data instances;
Mon, 19 Feb 2024 11:07:08 +0100 wenzelm tuned;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip