Fabian Homborg 892330b904 docs: Drop "Other features" header ... This has two features now, there's no need to group it.		2021-01-31 11:59:43 +01:00
..
_static	Replace the doc theme with the pydoctheme	2020-10-04 11:05:48 +02:00
cmds	Add a separate --profile-startup option to profile startup	2021-01-29 20:46:34 +01:00
python_docs_theme	docs: Fix TOC text and put them in a div	2021-01-27 22:02:35 +01:00
CHANGELOG.rst	Add CHANGELOG to the docs	2020-05-30 10:07:21 +02:00
commands.rst	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
completions.rst	docs: More line-length fixes	2021-01-26 16:15:38 +01:00
conf.py	docs: Don't add rst sources	2021-01-16 19:33:12 +01:00
design.rst	Make rationale spacing consistent	2020-10-12 20:25:35 +02:00
faq.rst	docs: Some adjustments	2021-01-27 17:39:09 +01:00
fish_for_bash_users.rst	Fish for bash users: Fix missing word and link it from index	2021-01-22 16:23:09 +01:00
fish_indent_lexer.py	Reformat	2020-11-22 14:39:48 +01:00
index.rst	docs: Drop "Other features" header	2021-01-31 11:59:43 +01:00
license.rst	Add docs theme license	2020-10-04 14:51:05 +02:00
tutorial.rst	docs: Some adjustments	2021-01-27 17:39:09 +01:00