Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 9f8c8c41af543cebdc49998196067de322a7d356)
+++ Jenkinsfile	(revision 68d173d69f8b7c0549c9df2e0fb640e4d938d427)
@@ -1,3 +1,2 @@
-
 //===========================================================================================================
 // Main compilation routine