Florian Bruhin 263d298449 Remove the content.developer_extras setting		2018-06-11 18:09:24 +02:00
..
commands.asciidoc	Update docs	2018-06-11 15:38:01 +02:00
configuring.asciidoc	Mention other colorschemes as well	2018-06-07 20:31:27 +02:00
index.asciidoc	Fix the link to faq.html in help page	2017-09-25 20:54:28 +03:00
settings.asciidoc	Remove the content.developer_extras setting	2018-06-11 18:09:24 +02:00