Skip to content

Revert "[doc] Update htmlheader to include versions.js" - #23322

Merged
dpiparo merged 1 commit into
root-project:masterfrom
silverweed:htmlheader_revert
Sep 10, 2026
Merged

Revert "[doc] Update htmlheader to include versions.js"#23322
dpiparo merged 1 commit into
root-project:masterfrom
silverweed:htmlheader_revert

Conversation

@silverweed

Copy link
Copy Markdown
Contributor

This reverts commit aea2fea.

A better solution was devised that doesn't imply changing the html for the docs, which doesn't work for old versions.

See also root-project/web#1242

This reverts commit aea2fea.

A better solution was devised that doesn't imply changing the html for
the docs, which doesn't work for old versions.
@silverweed silverweed self-assigned this Sep 9, 2026
@silverweed silverweed added the skip ci Skip the full builds on the actions runners label Sep 9, 2026
@dpiparo
dpiparo merged commit 2d7d7d9 into root-project:master Sep 10, 2026
4 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip ci Skip the full builds on the actions runners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants