diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2016-07-21 19:17:26 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2016-07-21 19:17:26 +0200 |
commit | e9c00c0427cb3cb2d9347af69a150324a6a99a84 (patch) | |
tree | fd5641095070f9181b1409bdc090c9afaab20432 /src/main/res | |
parent | c8188ee52c1fc260e3710d835f518936eacc3a64 (diff) |
push file offered notification when initial HTTP HEAD req. fails
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions