diff options
-rw-r--r-- | index.html | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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> |