Sun, 07 Jan 2024 11:05:24 +0100 | Mike Becker | trim all contents by default - relates to #317 | changeset | files |
Sun, 07 Jan 2024 11:02:43 +0100 | Mike Becker | trim indents by default - fixes #317 | changeset | files |
Fri, 05 Jan 2024 21:04:57 +0100 | Mike Becker | replace -a with && in configure | changeset | files |