mathieui 2b4c06b6f8 Fix #2315 (send pings to the server every minute to check the connection) ... add two new options: connection_timeout_delay and connection_check_interval		2013-06-11 00:03:48 +02:00
..
dev
images
misc
plugins
theme
commands.rst
conf.py
configuration.rst	Fix #2315 (send pings to the server every minute to check the connection)	2013-06-11 00:03:48 +02:00
index.rst
install.rst
keys.rst
themes.rst
usage.rst