Florian Bruhin 0cdd3ff82f Update some more references to old config options		2017-07-04 16:46:02 +02:00
..
completion
hints
history
js
files.html
mouse.html	Update some more references to old config options	2017-07-04 16:46:02 +02:00