Brian Gough b0a32b1ef8 make new pdf viewer the default for all users ... remove old pdf viewer		2015-03-20 11:28:28 +00:00
..
binary-file.jade
chat.jade	autolink chat messages	2015-02-07 16:15:33 +00:00
editor.jade	Update wrong synctex tooltip	2014-12-03 11:01:41 +00:00
file-tree.jade
header.jade
hotkeys.jade
left-menu.jade	fix jade warnings about missing space, need to escape the module html	2015-02-23 10:18:48 +00:00
pdf.jade	make new pdf viewer the default for all users	2015-03-20 11:28:28 +00:00
publish-template.jade
share.jade
track-changes.jade	Provide easy way out of track-changes	2015-02-18 17:50:14 +00:00