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 /NEWS | |
| parent | 6936524259e0f4209a2ef61bde8570062c074dbf (diff) | |
[shell] Add synctex support
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions