diff options
-rw-r--r-- | jessie-amd64-jenkins-master/plugins.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jessie-amd64-jenkins-master/plugins.txt b/jessie-amd64-jenkins-master/plugins.txt index b658d1c1..d855db78 100644 --- a/jessie-amd64-jenkins-master/plugins.txt +++ b/jessie-amd64-jenkins-master/plugins.txt @@ -9,6 +9,7 @@ build-name-setter:1.6.9 build-timeout:1.19 command-launcher:1.2 copyartifact:1.41 +copy-to-slave:1.4.4 coverity:1.11.3 crowd2:2.0.1 cvs:2.14 |