diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:48:03 +0200 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-09-18 14:48:03 +0200 |
commit | 7638e350abbe3bc573272f1c44e8daeff1647424 (patch) | |
tree | 14bc885ba90ffa7b16513f66d43d535bb888b3c4 /index.html | |
parent | 4bf07043f7c48e7a755a6e972d718983f8b9461e (diff) |
removed some forgotten references form the index file
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -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> |