Mon, 18 Sep 2023 23:20:29 +0200 | Mike Becker | add basic support for the lang element - fixes #284 | file | diff | annotate |
Tue, 12 Sep 2023 23:36:45 +0200 | Mike Becker | add debug/release options - fixes #285 | file | diff | annotate |
Mon, 04 Feb 2019 15:09:39 +0100 | Olaf Wintermann | add existing source | file | diff | annotate |