Florian Bruhin 46ca0e447e Get rid of the save-session setting for now. ... With the way quitting is handled currently, it's hard to save the session on quit as the windows will already be closed.		2015-02-16 21:33:24 +01:00
..
commands.asciidoc	Add session support.	2015-02-16 20:26:09 +01:00
index.asciidoc	Docs update	2014-10-03 08:32:37 +02:00
settings.asciidoc	Get rid of the save-session setting for now.	2015-02-16 21:33:24 +01:00