Remove the unused dependency on sphinx-tabs
Thanks to douardda for noticing.
Description
Description
Details
Details
- Provenance
lunar Authored on Nov 29 2022, 9:20 AM lunar Pushed on Nov 29 2022, 10:16 AM - Differential Revision
- D8895: Remove the unused dependency on sphinx-tabs
- Parents
- rDDOCefc955759316: Migrate to sphinx-design
- Branches
- Unknown
- Tags