Finn Stutzenstein d13e11beb1 New ui element for comments in config (closes #2348)		2016-09-23 14:37:13 +02:00
..
js/motions	New ui element for comments in config (closes #2348)	2016-09-23 14:37:13 +02:00
templates/motions	Highlighting and jumping to lines in motions (closes #2347)	2016-09-21 13:58:39 +02:00