Fix bug in full_install_osm when dealing with soui option
[osm/devops.git] / tools / .gitignore
1 repos/*