diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-28 19:00:01 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-28 19:00:01 +0100 |
| commit | 38efb84690f5ed46ad34b0a5cb27e63da73394bd (patch) | |
| tree | 75cf499bf309bf557e1db5926b0238da0e0170e2 /proguard-project.txt | |
| parent | 268eae78136a2ef2c2fe53aee4f003ffa6bf9a89 (diff) | |
treat dns timeouts as temporary. also increased timeout
Diffstat (limited to 'proguard-project.txt')
0 files changed, 0 insertions, 0 deletions