Norman Jäckel 96b4fb9fd9 Merge pull request #2376 from tsiegleauq/issue2300-pdf-line-numbers ... Add line numbers to pdf (fixes #2300)		2016-09-20 21:15:25 +02:00
..
base.js	Disable projector auto reload after 5 minutes.	2016-09-18 22:34:54 +02:00
projector.js	Change system for autoupdate on the projector (#2394)	2016-09-17 22:26:23 +02:00
site.js	Merge pull request #2376 from tsiegleauq/issue2300-pdf-line-numbers	2016-09-20 21:15:25 +02:00