mathieui 6cc1360a3a Remove the GPG plugin ... It’s broken and nobody is using it as far as I know.		2018-08-09 00:29:13 +02:00
..
dev	doc: Mark 0066 as partly supported thanks to embed plugin.	2018-07-28 13:32:12 +02:00
images
misc	Remove the GPG plugin	2018-08-09 00:29:13 +02:00
plugins	Remove the GPG plugin	2018-08-09 00:29:13 +02:00
theme
commands.rst	Reword the doc for /topic, and add the fact that it prints it with no argument	2016-11-21 12:03:09 +01:00
conf.py	Prepare for next version	2017-01-31 00:22:19 +01:00
configuration.rst	Replace information_popup_type_filter occurences with correct naming	2018-07-01 01:09:45 +01:00
index.rst
install.rst	Update the documentation for update.sh	2017-10-06 23:51:54 +02:00
keys.rst
quickstart.rst
themes.rst
usage.rst	Update documentation (& formatting)	2018-02-20 21:52:55 +01:00