Florian Bruhin 2a32e26846 Get rid of various rarely customized settings ... All those were customized by some <5 people in the past few years of crash reports. Closes #1751. See #2639.		2017-06-06 14:50:57 +02:00
..
commands.asciidoc	Merge commit '419793c0b9ff4f293babea7623dcaf4787bbaa35'	2017-05-22 07:55:44 +02:00
index.asciidoc	also use rel paths for toplevel docs	2016-10-26 12:41:09 +02:00
settings.asciidoc	Get rid of various rarely customized settings	2017-06-06 14:50:57 +02:00