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
conf.py
configuration.rst	Replace information_popup_type_filter occurences with correct naming	2018-07-01 01:09:45 +01:00
index.rst
install.rst
keys.rst
quickstart.rst
themes.rst
usage.rst