install_osm: proper exit when uninstalling
[osm/devops.git] / tools / .gitignore
1 repos/*