From bbf24a5858d2d3549c9c85b6f25e926e070a7e1d Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Tue, 13 Oct 2015 12:50:22 +0200
Subject: Remove unused field for robot's IP

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

(limited to 'index.html')

diff --git a/index.html b/index.html
index 62c9d41..0925cfb 100644
--- a/index.html
+++ b/index.html
@@ -250,7 +250,6 @@
                             <button type="button" class="btn btn-default navbar-btn btn-plan">Plan</button>
                             <button type="button" class="btn btn-default navbar-btn btn-hint">Hint</button>
                             <button type="button" class="btn btn-default navbar-btn btn-run">Run</button>
-                            <input type="text" id="robot_ip" placeholder="Robot's IP"></input>
                             <button type="button" class="btn btn-default navbar-btn btn-stop">Stop</button>
                         </div>
                     </nav>
-- 
cgit v1.2.1