Martin Weinelt a24431e56f Merge pull request #162808 from mweinelt/schleuder ... schleuder: init		2022-06-24 21:38:22 +02:00
..
manual	Merge pull request #162808 from mweinelt/schleuder	2022-06-24 21:38:22 +02:00
varlistentry-fixer.rb
xmlformat.conf