Skip to content

Allow non alphabetic initial in heading anchor#788

Merged
Michael-F-Bryan merged 2 commits intorust-lang:masterfrom weihanglo:feat/non-ascii-heading-anchorOct 23, 2018

Commits

Commits on Sep 9, 2018