Closed tchoutri closed 2 months ago
This PR styles the version number of a deprecated version in red when it's known to be deprecated. Moreover, versions with known revisions are shown to be revised and have their revision date shown when hovering on the pen icon.
./docs/docs
Proposed changes
This PR styles the version number of a deprecated version in red when it's known to be deprecated. Moreover, versions with known revisions are shown to be revised and have their revision date shown when hovering on the pen icon.
Contributor checklist
./docs/docs
if a public feature has a behaviour change