Robert Hensing c23666473c doc: Remove all section numbers ... Simplicity. We use anchors nowadays. Nobody should be printing this.		2022-12-12 13:04:39 +01:00
..
manual	doc: Remove all section numbers	2022-12-12 13:04:39 +01:00
varlistentry-fixer.rb
xmlformat.conf