diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:14:00 +0200 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-09-22 18:14:00 +0200 |
commit | a8b7f21848c01159a802399f7c45c8e84116ed9a (patch) | |
tree | adafdd69c613b7ff5b23a8060b312f575ae7c642 /index.html | |
parent | 5c87d98c0b3383c7ad63f0b69e36110b915e36c2 (diff) | |
parent | ac1ea2004cdb34c83115d11b0c3a0c9c2f93a726 (diff) |
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -165,6 +165,8 @@ <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-test">Test</button> + <button type="button" class="btn btn-default navbar-btn btn-run">Run</button> + <button type="button" class="btn btn-default navbar-btn btn-stop">Stop</button> </div> </nav> <div class="code_editor"></div> |