diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2015-10-17 15:23:46 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2015-10-17 15:23:46 +0200 |
| commit | 0f405c2e112ebd5dbb6be535bbadd1c4a109d341 (patch) | |
| tree | b6d361cdf369a4bdf4719d53201da462dd5a8c01 /docs | |
| parent | e9e31b1c9bb8c0e1e78207b843c5799b98f06cdd (diff) | |
allow redownloading files from remote hosts. fixes #1504
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions