WulfP
diff --git a/‎jenkins/install-plugins.sh
100644100755 b/‎jenkins/install-plugins.sh
100644100755
diff --git a/‎jenkins/jenkins-support
100644100755 b/‎jenkins/jenkins-support
100644100755
diff --git a/‎jenkins/jenkins.sh
100644100755 b/‎jenkins/jenkins.sh
100644100755
diff --git a/‎jenkins/plugins.sh
100644100755 b/‎jenkins/plugins.sh
100644100755
diff --git a/‎jenkins/publish.sh
100644100755 b/‎jenkins/publish.sh
100644100755
diff --git a/‎jenkins/update-official-library.sh
100644100755 b/‎jenkins/update-official-library.sh
100644100755