Fabian Homborg 8013686d17 delete-or-exit: Only exit if the commandline is empty ... This exitted if the cursor was at the end of the line as well (i.e. if delete-char failed). That's a bit too eager. Also documentation, which should have already been included.		2019-07-03 11:48:38 +02:00
..
_static	docs/tutorial: Fix prompt display	2019-05-25 11:47:44 +02:00
cmds	delete-or-exit: Only exit if the commandline is empty	2019-07-03 11:48:38 +02:00
commands.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
conf.py	docs: Build index, tutorial and faq as man pages	2019-06-23 16:16:44 +02:00
design.rst	docs: Remove explicit .html links	2019-04-30 13:11:33 +02:00
faq.rst	docs/faq: Fix header formatting	2019-06-06 19:14:11 +02:00
fish_indent_lexer.py	Reformat all files	2019-05-05 12:09:25 +02:00
index.rst	docs: Document indexing double-variable-expansion	2019-06-19 12:56:01 +02:00
license.rst	docs: Remove -# formatting	2019-06-06 19:14:11 +02:00
tutorial.rst	docs/tutorial: Fix list link	2019-06-06 22:52:14 +02:00