]> git.lizzy.rs Git - rust.git/commit
Correct indentation on documentation comment.
authorDavid Wood <david@davidtw.co>
Sun, 4 Nov 2018 17:05:54 +0000 (18:05 +0100)
committerDavid Wood <david@davidtw.co>
Sun, 4 Nov 2018 17:05:54 +0000 (18:05 +0100)
commit1854dde30a56a7fa135ec4f0be435d8de11ff1c1
tree626caa970b2efb96e1933874253119b67ea768ce
parent6d69fe7a2fa31108ee7d23515cec7dd151d08331
Correct indentation on documentation comment.

This commit adjusts the indentation of code within a documentation
comment so that it is correctly highlighted as code by rustdoc.
src/librustc/mir/mod.rs