3 Commits

Author	SHA1	Message	Date
Johannes Altmanninger	242b60fdef	history.rst: clarify that "history search" is the default command	2020-08-04 21:44:26 +02:00
Delapouite	b8281f1284	doc: homogenize commands titles	2020-04-04 10:44:53 +02:00
Aaron Gyes	85a0ca66e0	We no longer have two doc systems, move sphinx_doc_src back to doc_src	2020-02-19 17:00:35 -08:00