| Wed, 08 Nov 2023 16:05:22 +0100 | wenzelm | more operations; | changeset | files |
| Wed, 08 Nov 2023 15:37:15 +0100 | wenzelm | avoid option -C: free this latter for build-related configuration; | changeset | files |
| Wed, 08 Nov 2023 15:10:19 +0100 | wenzelm | more direct indentation, using Symbol.spaces; | changeset | files |
| Wed, 08 Nov 2023 13:14:59 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 08 Nov 2023 13:00:24 +0100 | wenzelm | more accurate treatment of surrounding whitespace; | changeset | files |
| Wed, 08 Nov 2023 12:41:41 +0100 | wenzelm | obsolete (see also f627ab8c276c); | changeset | files |
| Wed, 08 Nov 2023 12:00:29 +0100 | wenzelm | tuned signature; | changeset | files |