diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-24 15:39:18 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-04-24 15:39:18 +0200 |
commit | a8eef5cdbfcfc7ccba9067e329edd2f19269b95b (patch) | |
tree | 23de5063f0dc9bfcc5fde7f5d29131933e235fdb /Jenkinsfile | |
parent | 24319ba0be3e14d8ad8f7eb6713dcfa219fad156 (diff) |
POM: Remove disabled sections.
Change-Id: I0abef8512aeb349bae4f9a5eb4592d46d729ec71
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions