11908: Migrate collections.properties to jsonb.
[arvados.git] / tools / sync-groups / .gitignore
2017-12-05 Ward VandewegeMerge branch '12018-rename-sync-groups'
2017-12-05 Ward VandewegeRename the group sync tool to follow our standard namin...