Merge branch 'packaging'
[osm/RO.git] / openmanod
2017-04-20 tiernoMerge branch 'packaging' 07/1607/3
2017-04-20 garciadeblasSupport of versioning in deb packages; addressing also... 99/1599/2
2017-04-18 garciadeblasUpdated Makefile with install and develop; renamed... 77/1577/1