Sun, 10 Sep 2023 13:04:02 +0200 | Mike Becker | replace type="exec" with exec="true" - fixes #295 | file | diff | annotate |
Thu, 03 Aug 2023 16:57:57 +0200 | Mike Becker | add XML schema - fixes #267 | file | diff | annotate |
Sat, 03 Aug 2019 11:15:03 +0200 | Olaf Wintermann | add missing source changes | file | diff | annotate |