Thu, 11 Nov 2021 22:06:18 +0100 | wenzelm | clarified signature: prefer static operations; | changeset | files |
Thu, 11 Nov 2021 21:54:28 +0100 | wenzelm | clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources; | changeset | files |
Thu, 11 Nov 2021 13:47:32 +0100 | wenzelm | more robust; | changeset | files |