mathieui c6cf2d08b7 Fix close_all and change_title plugins		2018-07-22 16:17:06 +02:00
..
dev	Fix close_all and change_title plugins	2018-07-22 16:17:06 +02:00
images	Optimise all PNG images with optipng -o8.	2016-11-01 02:40:10 +00:00
misc
plugins	doc: Add documentation for the new embed plugin.	2018-05-16 11:39:35 +02:00
theme	Optimise all PNG images with optipng -o8.	2016-11-01 02:40:10 +00:00
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	Document ctrl-j	2016-11-04 10:42:46 +01:00
quickstart.rst	Documentation update	2016-10-09 14:37:34 +02:00
themes.rst
usage.rst	Update documentation (& formatting)	2018-02-20 21:52:55 +01:00