Prettydocs2#2803

Closed

Dretch wants to merge 1 commit intorust-lang:incomingfrom

Dretch:prettydocs2

Commits on Jul 4, 2012

convert doc-attributes to doc-comments using ./src/etc/sugarise-doc-comments.py (and manually tweaking) - for issue #2498
Dretch
committed