diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-28 14:23:21 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-28 14:23:21 (GMT) |
commit | 3a7664146c781c8b3673fada29286837c9385e41 (patch) | |
tree | 9f5a432ed3e5257743467dfdf2dcabc6336dbe34 /shell/ev-file-monitor.h | |
parent | 6936524259e0f4209a2ef61bde8570062c074dbf (diff) |
[shell] Add synctex support
Diffstat (limited to 'shell/ev-file-monitor.h')
0 files changed, 0 insertions, 0 deletions