Sat, 15 Jul 2023 13:12:19 +0200 | Mike Becker | add .idea folder to .hgignore | changeset | files |
Sun, 16 Apr 2023 14:17:08 +0200 | Olaf Wintermann | merge | changeset | files |
Sun, 16 Apr 2023 14:16:31 +0200 | Olaf Wintermann | fix configure should always delete the tmp dir | changeset | files |