From b758d9072514b403ff8c45a01c9ac981c5daa61a Mon Sep 17 00:00:00 2001 From: Florian Boor Date: Sat, 11 Aug 2018 00:06:38 +0200 Subject: [PATCH 1/1] default.xml: add github pushurl --- default.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default.xml b/default.xml index c41e0a9..d0788bf 100644 --- a/default.xml +++ b/default.xml @@ -4,7 +4,7 @@ - + -- 2.39.2