From 744c2e2b3dcb22bf885f1185b552a6d937e6f151 Mon Sep 17 00:00:00 2001 From: Michael Wiesendanger Date: Fri, 22 Jul 2022 15:09:56 +0200 Subject: [PATCH] Remove no longer needed deploy run configurations --- .run/main[deploy].run.xml | 30 ------------------------------ .run/main[verify].run.xml | 30 ------------------------------ 2 files changed, 60 deletions(-) delete mode 100644 .run/main[deploy].run.xml delete mode 100644 .run/main[verify].run.xml diff --git a/.run/main[deploy].run.xml b/.run/main[deploy].run.xml deleted file mode 100644 index ae36bc7..0000000 --- a/.run/main[deploy].run.xml +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/.run/main[verify].run.xml b/.run/main[verify].run.xml deleted file mode 100644 index b26772a..0000000 --- a/.run/main[verify].run.xml +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - \ No newline at end of file