add docker build
[osm/RO.git] / openmanod
2017-04-18 garciadeblasUpdated Makefile with install and develop; renamed... 77/1577/1