declare that "///" is still a doc comment, just not "////+" (fixes #5838)#6680

Closed

ben0x539 wants to merge 1 commit intorust-lang:incomingfrom ben0x539:slashslashslash

+9-2

Commits on May 22, 2013

declare that "///" is still a doc comment, just not "////+" (fixes rust-lang#5838 )
ben0x539
committed