Merge branch '18995-addrislocal'
[arvados.git] / tools / sync-groups /
2017-12-06 Fuad MuhicMerge branch 'master' of git.curoverse.com:arvados...
2017-12-05 Ward VandewegeMerge branch '12018-rename-sync-groups'
2017-12-05 Ward VandewegeDo not hardcode the name of the executable in the sync...
2017-12-05 Ward VandewegeRename the group sync tool to follow our standard namin...