users faq: use intersphinx to reference the devel docs
Description
Description
Details
Details
- Provenance
vlorentz Authored on Jun 25 2021, 3:15 PM vlorentz Pushed on Jun 25 2021, 3:23 PM - Differential Revision
- D5928: users faq: use intersphinx to reference the devel docs
- Parents
- rDDOC1a3a3806e806: faq: ReSTify links
- Branches
- Unknown
- Tags