Florian Klink 6cabce9abd manual: rename users.extraUsers to users.users ... Is called like this since 14321ae243, but docs were still using the old option in some cases. Reported-By: Cedric Shahabi <cedric.shahabi@gmail.com>		2018-06-28 23:54:02 +02:00
..
manual	manual: rename users.extraUsers to users.users	2018-06-28 23:54:02 +02:00
varlistentry-fixer.rb	doc: Adds xml fixing script. (see previous and next commits)	2018-05-31 21:02:15 -04:00
xmlformat.conf	doc: Adds rule to xmlformat to help keep spacing right.	2018-05-31 21:02:15 -04:00