From f7d7f53c0ab16b5278cb09f8a208a2a8a0034b54 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Thu, 26 Sep 2013 15:38:43 +0200
Subject: [PATCH] minor: ant build jedit specific flags to remove tabs

---
 build.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 0696e0d..cf34eae 100644
--- a/build.xml
+++ b/build.xml
@@ -117,5 +117,8 @@
             </dirset>
         </delete>
     </target>
-
+    
+    <!-- jedit specific flags; needs to be the first or the last 10 lines
+    :noTabs=true:
+    -->
 </project>
\ No newline at end of file
-- 
2.25.1