Bug 2137: Improve license check
[osm/devops.git] / tools / .gitignore
1 repos/*