Emanuel Schütze c8cd1a7210 Merge pull request #2917 from FinnStutzenstein/Worker ... Use workers for pdf generation		2017-01-31 12:02:43 +01:00
..
js/assignments	Merge pull request #2917 from FinnStutzenstein/Worker	2017-01-31 12:02:43 +01:00
templates/assignments	Fixed wrong order of assignment votes caused by redis cache.	2017-01-30 21:33:41 +01:00