more minor cleanups
authorNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 04:36:30 +0000 (21:36 -0700)
committerNico Weber <thakis@chromium.org>
Sun, 15 Jun 2014 21:13:20 +0000 (14:13 -0700)
commit20e03b33a340bbc709b0ecd8c50a4b55e709322b
tree00e70899251fa6be1ac93db62ba6298ba1c983a1
parent238b259fd7f0361aa4cd2037b4695cbb668d9f7c
more minor cleanups
src/disk_interface.cc