diff options
Diffstat (limited to 'jessie-amd64-jenkins-master/plugins.txt')
-rw-r--r-- | jessie-amd64-jenkins-master/plugins.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/jessie-amd64-jenkins-master/plugins.txt b/jessie-amd64-jenkins-master/plugins.txt index ec087da..2a1aeb2 100644 --- a/jessie-amd64-jenkins-master/plugins.txt +++ b/jessie-amd64-jenkins-master/plugins.txt @@ -7,13 +7,12 @@ email-ext:2.68 gerrit-trigger:2.30.0 git:4.0.0 github-oauth:0.33 -jdk-tool:1.2 +jdk-tool:1.3 monitoring:1.80.0 multiple-scms:0.6 pipeline-utility-steps:2.3.1 rebuild:1.31 ssh-agent:1.17 -ssh-credentials:1.17.3 timestamper:1.10 workflow-aggregator:2.6 ws-cleanup:0.37 |