diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-24 15:40:23 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-24 15:40:23 +0200 |
commit | 0d1d53bd6caf350bc74b8cd5a972bcdc1fa60764 (patch) | |
tree | 5bdd5ef656ce180bac0446df3dfb181d43c5615d /Jenkinsfile | |
parent | a8eef5cdbfcfc7ccba9067e329edd2f19269b95b (diff) |
POM: Remove unused Failsafe plugin.
Change-Id: Id6ed3f37a8a7219c7a29c88ba157baa675d5c28f
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions