]> git.lizzy.rs Git - rust.git/commit
Use numbers instead of indentations
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Fri, 6 Oct 2017 15:12:32 +0000 (17:12 +0200)
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>
Fri, 6 Oct 2017 15:14:12 +0000 (17:14 +0200)
commit072c02f9a3e1767a7b9121ef5217415bbbc8711f
tree690609a8cc7f0324b3bb4e70e6b40399fa026e45
parent8d546e8b9ae47ce7200db469cb8807f6df2dd3d3
Use numbers instead of indentations

Noone can differentiate between 8 and 9 spaces if they aren't aligned
miri/bin/miri.rs