src/Pure/Build/resources.scala
Tue, 05 Mar 2024 16:06:06 +0100 wenzelm prefer dynamic objects, following a5fda30edae2;
Sat, 20 Jan 2024 15:07:41 +0100 wenzelm clarified directories;
less more (0) tip