diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-28 09:24:09 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2010-06-28 09:24:09 (GMT) |
commit | 2de1a33a123dea2aa16154e5beec5b3a57c939fc (patch) | |
tree | 44623b6c39d324deb4d2e0f443b91191490ca7cd /shell | |
parent | cc4da1e236db7a64282baf5213c41f5e21abca35 (diff) |
[libdocument] Use EvSourceLink as parameter of synctex_forward_search()
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions