summaryrefslogtreecommitdiff
path: root/index.html
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-13 12:50:22 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-13 12:50:22 +0200
commitbbf24a5858d2d3549c9c85b6f25e926e070a7e1d (patch)
tree7f1b16535e5a6a6ea035ecf4601ec2cb580244f6 /index.html
parent298ab560e8c599dfaf4829eb1426c6642a823122 (diff)
Remove unused field for robot's IP
Diffstat (limited to 'index.html')
-rw-r--r--index.html1
1 files changed, 0 insertions, 1 deletions
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>