more minor cleanups
authorNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 04:38:44 +0000 (21:38 -0700)
committerNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 21:13:21 +0000 (14:13 -0700)
commitf5f7c80897cbe2d7dca454283e4e9c5e484dfadb
tree2d0e16d7cccb2460160131383b8a9014fe9a8843
parent20e03b33a340bbc709b0ecd8c50a4b55e709322b
more minor cleanups
src/disk_interface.cc