7 jaren geleden · b42357efb6
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -18,7 +18,7 @@ pipeline {
 
				     string(
			
 
				       name: "service_update",
			
 
				       defaultValue: "info_node info_node-api",
			
 
				-      description: "Services to update - i.e. info_node or/and info_node-api."
			
 
				+      description: "Services to update."
			
 
				     )
			
 
				     string(
			
 
				       name: "mailto",