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 /cut-n-paste/update-from-egg.sh | |
parent | 6936524259e0f4209a2ef61bde8570062c074dbf (diff) |
[shell] Add synctex support
Diffstat (limited to 'cut-n-paste/update-from-egg.sh')
0 files changed, 0 insertions, 0 deletions