diff options
author | 2016-02-15 11:29:27 -0400 | |
---|---|---|
committer | 2016-02-15 11:29:27 -0400 | |
commit | 98a2b312fd0297dcb09f6efdc3bd2e3b05b6dfc0 (patch) | |
tree | 07a855f6bdad27590074b70dc2f7519326536288 /Utility/Metered.hs | |
parent | 96e893d718dc6bad7b2abdefce886694f986c367 (diff) |
switch from homegrown code to disk-free-space
According to https://github.com/redneb/disk-free-space/issues/3 ,
disk-free-space should be at least as portable as my homegrown code was.
One change I noticed is, getDiskSize was not implemented for windows
in the old code, and should work now.
Diffstat (limited to 'Utility/Metered.hs')
0 files changed, 0 insertions, 0 deletions