tree 3f967b7b11b1c60a245bd5ccbc91362560a5b4d4
parent 46749035a770a3542db8d1a6bb1258ea591e7078
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1608294227 +0100
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1608294227 +0100

build.xml: Improve 'deploy' command.

Change-Id: I73687e27c6e41508ba177916eabaf87ef8655807