From 57a08c3246ae12268609117e76759cc9e3589110 Mon Sep 17 00:00:00 2001
From: Adam Bem <adam.bem@zoho.eu>
Date: Tue, 30 May 2023 15:56:03 +0200
Subject: [PATCH] Resolved merge conflict in xmlFormatter.html

---
 Frontend/tools/xmlFormatter.html | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/Frontend/tools/xmlFormatter.html b/Frontend/tools/xmlFormatter.html
index fe3f5be..a200e44 100644
--- a/Frontend/tools/xmlFormatter.html
+++ b/Frontend/tools/xmlFormatter.html
@@ -63,23 +63,6 @@
 
         </div>
 
-<<<<<<< HEAD
-        <script>
-            function getProcessor() {
-                return "libxml";
-            }
-
-            function getVersion() {
-                return "1.0"
-            }
-
-            function init() {
-                configurePastingInElement("xmlArea");
-            }
-        </script>
-
-=======
->>>>>>> master
     </body>
 
 </html>