diff text/pom.xml @ 1705:439aefc7a6c9

README for Docker hub and configuration options for container.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 18 Feb 2019 18:32:15 +0100
parents a0a8dbecb94c
children
line wrap: on
line diff