From 010909ce3a596a0d30e35987f4739cf0bb490c56 Mon Sep 17 00:00:00 2001
From: "Alex Lam S.L" <alexlamsl@gmail.com>
Date: Thu, 31 Mar 2016 14:05:53 +0800
Subject: [PATCH] eliminate removeIgnored from online version

---
 index.html | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/index.html b/index.html
index 84c9871..cb6e637 100644
--- a/index.html
+++ b/index.html
@@ -118,19 +118,6 @@
                 </span>
               </label>
             </li>
-            <li>
-              <input type="checkbox" id="remove-ignored">
-              <label for="remove-ignored">
-                Remove ignored tags
-                <br>
-                <span class="quiet short">
-                  Currently, only tags starting and ending with:
-                  <code>&lt;% ... %></code>
-                  and
-                  <code>&lt;? ... ?></code>
-                </span>
-              </label>
-            </li>
             <li>
               <input type="checkbox" id="remove-empty-elements">
               <label for="remove-empty-elements" class="unsafe">
-- 
2.34.1