Fixes bug 1254 and bug 1247
[osm/devops.git] / tools / .gitignore
1 repos/*