diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-09-16 17:49:25 +0200 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-09-16 17:49:25 +0200 |
commit | f6466bd4d3bb6788c92d90a605df7418c2aeb7e6 (patch) | |
tree | b6406656b92909b205de2a3dfbcb209a8bcc584f /index.html | |
parent | 39fa66c8602bad9278d6683b35e0be6cc1ab92cc (diff) |
basis for the state machine and some UI improvements (currently disabled)
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -136,6 +136,7 @@ <script src="js/def_parser.js"></script> <script src="js/prolog.js"></script> <script src="js/python.js"></script> + <!-- <script src="js/codeq/stateMachine.js"></script> --> <script src="js/codeq/startup.js"></script> </body> </html> |