Skip to content

Fix filename for theme customization - #1711

Merged
traviscross merged 1 commit into
rust-lang:masterfrom
ehuss:admonition-css-filename
Jan 14, 2025
Merged

Fix filename for theme customization#1711
traviscross merged 1 commit into
rust-lang:masterfrom
ehuss:admonition-css-filename

Fix filename for theme customization

41314cc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs