FS#3286 - Add server selector in resync tool

Florian Schaal

2014-09-10 37a8909be5379ca204eb15fd00dedd29d9efb038

interface/web/tools/resync.php does not exist in tree d397d27c30bcfc2340421a78372c62bf8e26c501