docs: set zero padding for pre tags#27002
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 14, 2015
IvanUkhov:docblock-pre-code
Merged
docs: set zero padding for pre tags#27002bors merged 1 commit intorust-lang:masterfrom IvanUkhov:docblock-pre-code
bors merged 1 commit intorust-lang:masterfrom
IvanUkhov:docblock-pre-code
