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/values-w585dp/dimens.xml | |
| parent | c8188ee52c1fc260e3710d835f518936eacc3a64 (diff) | |
push file offered notification when initial HTTP HEAD req. fails
Diffstat (limited to 'src/main/res/values-w585dp/dimens.xml')
0 files changed, 0 insertions, 0 deletions