Fabian Homborg 0f34459fce Disable svn prompt by default ... This is apparently quite slow on large svn repos (like 40 seconds slow), and we don't have a good thing to display other than the full file information. So we'll have to disable it for now. Fixes #6681. [ci skip]		2020-03-01 17:04:02 +01:00
..
_static	docs/tutorial: Replace coloring markup	2020-02-22 18:01:05 +01:00
cmds	Disable svn prompt by default	2020-03-01 17:04:02 +01: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
conf.py	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
design.rst	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
faq.rst	FAQ: Reword history substitution entry	2020-02-21 19:52:42 +01:00
fish_indent_lexer.py	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
index.rst	doc: fix 404 error for set_color command	2020-02-26 19:30:46 +01:00
license.rst	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00
tutorial.rst	docs/tutorial: Fix < typo	2020-02-23 09:27:33 +01:00