ansuz a28daf2715 use websocket url configuration api		2016-10-04 17:13:15 +02:00
..
index.html	Improve the top bar and use the font awesome icons in /code	2016-09-28 15:28:25 +02:00
inner.html	Get codemirror from bower and use that version in the code app	2016-09-29 16:23:27 +02:00
main.js	use websocket url configuration api	2016-10-04 17:13:15 +02:00