Finn Stutzenstein a06806c33b Highlighting and jumping to lines in motions (closes #2347)		2016-09-21 13:58:39 +02:00
..
base.js	Disable projector auto reload after 5 minutes.	2016-09-18 22:34:54 +02:00
projector.js	Highlighting and jumping to lines in motions (closes #2347)	2016-09-21 13:58:39 +02:00
site.js	Merge pull request #2386 from FinnStutzenstein/sidebarScroll	2016-09-21 12:40:13 +02:00