2 Commits

Author	SHA1	Message	Date
Fabian Homborg	17116366dc	docs: Remove explicit .html links ... Instead, we link to rst labels, which could also work in non-html output, or if the section ever moves elsewhere. See #5696. [ci skip]	2019-04-30 13:11:33 +02:00
ridiculousfish	db90f421c0	Add design doc to Sphinx docs build	2019-02-24 18:22:52 -08:00