Merge "Converted docker/Dockerfile to ASCII"
authorlombardofr <lombardo@everyup.it>
Thu, 15 Nov 2018 18:37:10 +0000 (19:37 +0100)
committerGerrit Code Review <root@osm.etsi.org>
Thu, 15 Nov 2018 18:37:10 +0000 (19:37 +0100)

Trivial merge