From bcfccd2d378f54d508edd097a3f4f0a21aa2ffc1 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Fri, 29 Apr 2022 12:28:01 +0200
Subject: [PATCH] small change

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3255751..d42a61e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -39,7 +39,6 @@ pipeline {
     }
          //once in every two hours slot between 9 AM and 5 PM every weekday (perhaps at 10:38 AM, 12:38 PM, 2:38 PM, 4:38 PM)
 //             cron('H H(9-16)/2 * * 1-5')
-
     environment {
         AGENT_ROOT_FOLDER = "${agent_root_folder}"
         DEPLOY_FILE = "${agent_root_folder}/${agent_deploy_filename}"