Fix #672: Prevent duplicate heading IDs in Docusaurus#679
Merged
scripthunter7 merged 3 commits intomasterfrom Apr 21, 2025
Merged
Fix #672: Prevent duplicate heading IDs in Docusaurus#679scripthunter7 merged 3 commits intomasterfrom
scripthunter7 merged 3 commits intomasterfrom