diff options
| author | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-04-24 19:51:40 +0200 |
|---|---|---|
| committer | Markus Mohrhard <markus.mohrhard@googlemail.com> | 2017-05-19 03:43:30 +0200 |
| commit | 12e7e48fbed86c7047d5861aa084ca38617141fd (patch) | |
| tree | 95e294d9105b0b1ec9c6c3135d623aedb506010a /jvmfwk | |
| parent | ea2a3c2ab72cc77d7bf90e2ee90134f533794cf5 (diff) | |
if the update_dir does not exist continue with the update check
Diffstat (limited to 'jvmfwk')
0 files changed, 0 insertions, 0 deletions