mathieui dd33ce58dc Set bookmark_on_join default value to false ... too many pitfalls		2017-12-20 19:04:48 +01:00
..
dev
images
misc
plugins	Add documentation for /disco.	2017-12-19 15:41:17 +01:00
theme
commands.rst
conf.py
configuration.rst
index.rst
install.rst
keys.rst
quickstart.rst
themes.rst
usage.rst