From d5815da49bef1e5ca42df5aca9e54368ab4e6013 Mon Sep 17 00:00:00 2001 From: Eamon Keane Date: Sat, 24 Feb 2018 16:56:49 +0000 Subject: [PATCH] changed jenkins pipeline --- .idea/workspace.xml | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 185b6d42..16f4933f 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,10 +1,7 @@ - - - - +