Sun, 17 Sep 2023 12:40:12 +0200 | Mike Becker | merge configure-evo branch | changeset | files |
Sun, 17 Sep 2023 12:39:42 +0200 | Mike Becker | update reference configure scripts | changeset | files |
Sun, 17 Sep 2023 12:34:45 +0200 | Mike Becker | simplify parameter substitution | changeset | files |