tree 4e0a96da851cd8d3a3e1450a9c48a5daf483ef8f
parent 91505b22a11c8bcfa9f623f0700030b5caf9bdb5
author Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1586804777 +0200
committer Matthias Andreas Benkard <code@mail.matthias.benkard.de> 1586804777 +0200

build.xml: Add a “deploy” target.

Change-Id: I54da8f4a035b7dd758cc1dc4600a9d3a06d01756