update resync-tool (translations, missing options, resync per server)

Florian Schaal

2015-02-14 25907aff4dfaad777cec70b1f5159d742601c682

1
2
3
4
5
6
<?php
 
// the cron daily file is no longer used and was replaced by cron.php
 
 
?>