Jörg Thalheim 7afa51c2bd Merge remote-tracking branch 'upstream/master' into HEAD		2021-07-14 15:45:51 +02:00
..
manual	Merge remote-tracking branch 'upstream/master' into HEAD	2021-07-14 15:45:51 +02:00
varlistentry-fixer.rb
xmlformat.conf