summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Zorko <robertz@gurucue.com>2015-09-18 14:48:03 +0200
committerRobert Zorko <robertz@gurucue.com>2015-09-18 14:48:03 +0200
commit7638e350abbe3bc573272f1c44e8daeff1647424 (patch)
tree14bc885ba90ffa7b16513f66d43d535bb888b3c4
parent4bf07043f7c48e7a755a6e972d718983f8b9461e (diff)
removed some forgotten references form the index file
-rw-r--r--index.html5
1 files changed, 0 insertions, 5 deletions
diff --git a/index.html b/index.html
index 6b2c31e..69a8f60 100644
--- a/index.html
+++ b/index.html
@@ -114,7 +114,6 @@
<script src="js/jquery/jquery-1.11.3.js"></script>
<script src="js/engine.io.js"></script>
<script src="js/jquery/jquery.terminal-0.8.8.js"></script>
- <!--script src="js/jquery/jquery.console.js"></script>
<!-- Q promise library -->
<script src="js/q.js"></script>
<!-- Bootstrap -->
@@ -134,13 +133,9 @@
<script src="js/codeq/console.js"></script>
<script src="js/codeq/hint.js"></script>
<script src="js/def_parser.js"></script>
- <!-- <script src="js/codeq/prologPythonLib.js"></script> -->
<script src="js/codeq/prolog.js"></script>
<script src="js/codeq/python.js"></script>
- <!-- <script src="js/prolog.js"></script> -->
- <!-- <script src="js/python.js"></script> -->
<script src="js/codeq/login.js"></script>
- <script src="js/codeq/mainScreen.js"></script>
<script src="js/codeq/startup.js"></script>
</body>
</html>