From e4393504176dc4da117fde95fc10181a2ea6f929 Mon Sep 17 00:00:00 2001 From: Joel Martin Date: Sat, 26 Apr 2014 14:19:49 -0500 Subject: JS: switch from josh.js console to jqconsole. js/web/jqconsole.min.js and web/ansi.css are from https://github.com/replit/jq-console and licensed MIT. --- docs/TODO | 1 + 1 file changed, 1 insertion(+) (limited to 'docs') diff --git a/docs/TODO b/docs/TODO index 0d5d28b..22321ff 100644 --- a/docs/TODO +++ b/docs/TODO @@ -32,6 +32,7 @@ Java: - step9_interop Javascript: + - switch to himera page/styling for online console Make: - allow '_' in make variable names -- cgit v1.2.3