From: Ralf Jung Date: Mon, 24 Aug 2015 12:22:20 +0000 (+0200) Subject: the default layout needs lots of vertical space... X-Git-Url: https://git.ralfj.de/rust-101.git/commitdiff_plain/1e8dd75a43302e59f8225f14ed85291f82a58b3c?ds=inline;hp=1e8dd75a43302e59f8225f14ed85291f82a58b3c the default layout needs lots of vertical space... ---