Remove uses of kramdown-specific markdown feature#415
Merged
nikomatsakis merged 1 commit intorust-lang:masterfrom Oct 9, 2019
jplatte:master
Merged
Remove uses of kramdown-specific markdown feature#415nikomatsakis merged 1 commit intorust-lang:masterfrom jplatte:master
nikomatsakis merged 1 commit intorust-lang:masterfrom
jplatte:master