diff options
author | Joey Hess <joey@kitenet.net> | 2013-08-21 18:17:48 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-08-21 18:17:48 -0400 |
commit | 813f94706e0f4c9afa529f1eabe3f4100f45b50d (patch) | |
tree | e621cc4bda838c10e2f965a4f226df36b8a72412 /.ghci | |
parent | 08b906fa942f6032d4150a419976489193edb18a (diff) |
Revert "Delete empty downloaded file when wget fails, to work around reported resume failure."
This reverts commit 845322a564fe9ff098596f419d06ec9aa748aa2a.
Better fix forthcoming
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions