From e0eff7c217b77f124526449586eb1c7d5c1606c5 Mon Sep 17 00:00:00 2001 From: Florian Boor Date: Fri, 10 Aug 2018 23:53:02 +0200 Subject: [PATCH] default.xml: some rework, drop unused bits, fix pushurl --- default.xml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/default.xml b/default.xml index fba0d6d..c41e0a9 100644 --- a/default.xml +++ b/default.xml @@ -9,7 +9,7 @@ - + @@ -18,11 +18,8 @@ - - - + -- 2.39.2