Thu, 11 Nov 2021 22:35:23 +0100 | wenzelm | merged | changeset | files |
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 |