Brian Gough b0a32b1ef8 make new pdf viewer the default for all users ... remove old pdf viewer		2015-03-20 11:28:28 +00:00
..
controllers	keep existing behaviour when loading other output files	2015-03-02 12:18:10 +00:00
PdfManager.coffee	make new pdf viewer the default for all users	2015-03-20 11:28:28 +00:00