diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-13 21:06:17 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-13 21:06:17 +0200 |
| commit | 77138fa10b4241cdd0e4c0b0bc52a2392cf78570 (patch) | |
| tree | 4e0a96da851cd8d3a3e1450a9c48a5daf483ef8f /src/main/docker | |
| parent | 91505b22a11c8bcfa9f623f0700030b5caf9bdb5 (diff) | |
build.xml: Add a “deploy” target.
Change-Id: I54da8f4a035b7dd758cc1dc4600a9d3a06d01756
Diffstat (limited to 'src/main/docker')
0 files changed, 0 insertions, 0 deletions