diff options
| author | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
|---|---|---|
| committer | Marko Pušnik <marko.pusnik@guru.si> | 2015-09-29 16:06:52 +0200 |
| commit | 163dd5a445910ac7ba19e0e291d1f04c20d9861d (patch) | |
| tree | a3e1b1d6ebd07f8d0b5e54c2163f743b7a153f02 /index.html | |
| parent | 91f3b77d4743731b6f0b2f282a592752565d7d74 (diff) | |
| parent | b2983855ea01fd04a8ba53099d2d5ee7ebed31f9 (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
@@ -421,6 +421,7 @@ <!-- CodeMirror stuff --> <script src="js/codemirror/codemirror.js"></script> <script src="js/codemirror/matchbrackets.js"></script> + <script src="js/codemirror/panel.js"></script> <script src="js/codemirror/prolog.js"></script> <script src="js/codemirror/python.js"></script> <script src="js/codemirror/show-hint.js"></script> @@ -431,6 +432,7 @@ <script src="js/codeq/navigation.js"></script> <script src="js/codeq/comms.js"></script> <script src="js/codeq/console.js"></script> + <script src="js/codeq/editor.js"></script> <script src="js/codeq/hint.js"></script> <script src="js/codeq/prolog.js"></script> <script src="js/codeq/python.js"></script> |