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

Florian Schaal

2015-02-14 25907aff4dfaad777cec70b1f5159d742601c682

1
2
3
4
5
-- -----------------------------------------------------------
-- Dummy patch file
-- Do not edit this file
-- See README.txt in sql folder for detailed instructions
-- -----------------------------------------------------------