yflory a9063e0459 Reload all tabs when the user logs in or out		2017-01-16 14:08:44 +01:00
..
index.html	apply 'cp' class for unified styles	2016-12-27 14:29:20 +01:00
inner.html	add missing cp class to more html	2016-12-28 10:45:14 +01:00
main.js	Reload all tabs when the user logs in or out	2017-01-16 14:08:44 +01:00
oldmain.js	Use the CodeMirror editor in the slide application	2016-09-30 17:39:16 +02:00
slide.js	don't allow listeners in /slide/	2016-12-06 16:00:38 +01:00