Tue, 12 Sep 2023 20:17:53 +0200 | Olaf Wintermann | update hgignore | file | diff | annotate |
Sat, 15 Jul 2023 13:12:19 +0200 | Mike Becker | add .idea folder to .hgignore | file | diff | annotate |
Mon, 04 Feb 2019 15:09:39 +0100 | Olaf Wintermann | add existing source | file | diff | annotate |