diff doc/src/site/markdown/server-setup.md @ 1707:e0a962f3a9e8

try new deploy-war-to-release through travis-ci.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Mon, 18 Feb 2019 19:43:50 +0100
parents 6d5e04a54848
children 7e4396e467de
line wrap: on
line diff