James Allen 1c68ea7328 Don't care if user key has expired when we receive a cursor update		2014-07-21 13:16:07 +01:00
..
coffee	Don't care if user key has expired when we receive a cursor update	2014-07-21 13:16:07 +01:00
templates/project_files	removed old email tempaltes	2014-03-06 11:53:24 +00:00
views	Only show synctex controls when pdf layout is open	2014-07-21 12:30:34 +01:00