From b9f7842e478854daa0823e2daefa2e71f1308e82 Mon Sep 17 00:00:00 2001
From: David Wu <david10608@gmail.com>
Date: Wed, 20 Dec 2017 10:25:37 +0100
Subject: [PATCH] build

---
 docs/index.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/index.html b/docs/index.html
index 0c4a47086..349a028ea 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -44,7 +44,6 @@
     <div class="row" style="height: calc(100vh - 5.875rem);overflow: hidden;">
       <input id="doc-drawer-checkbox" class="drawer" value="on" type="checkbox">
         <nav class="col-md-4 col-lg-3" style="border-top: 0">
-          <!-- <input type="text" id="searchInput" onkeyup="search(this)" placeholder="Search for snippet.."> -->
           <div class="group">
           <input class="search" type="text" id="searchInput" onkeyup="search(this)">
           <span class="highlight"></span>