Florian Bruhin 9b8f5e3ff0 Make the default session name configurable. ... See #523.		2015-04-05 23:30:43 +02:00
..
commands.asciidoc	Make the default session name configurable.	2015-04-05 23:30:43 +02:00
index.asciidoc	Add documentation about how to write userscripts.	2015-03-10 23:22:53 +01:00
settings.asciidoc	Make the default session name configurable.	2015-04-05 23:30:43 +02:00