From 69eb6628faf5424583640fbec660cd0d2f23e5db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20H=C3=B6rmann?= <j.hoermann@adito.de>
Date: Tue, 19 Mar 2019 07:18:47 +0000
Subject: [PATCH] Delete .merge_file_a07900

---
 .merge_file_a07900 | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .merge_file_a07900

diff --git a/.merge_file_a07900 b/.merge_file_a07900
deleted file mode 100644
index 167d3dc35f..0000000000
--- a/.merge_file_a07900
+++ /dev/null
@@ -1,5 +0,0 @@
-import("system.result");
-import("Keyword_lib");
-import("KeywordRegistry_basic");
-
-result.string($KeywordRegistry.addressType());
\ No newline at end of file
-- 
GitLab