Merge "(bug 578) Fix installer on Ubuntu 18.04"
[osm/devops.git] / tools / .gitignore
1 repos/*