diff options
| author | Andreas Politz <politza@hochschule-trier.de> | 2017-09-18 13:21:30 +0200 |
|---|---|---|
| committer | Andreas Politz <politza@hochschule-trier.de> | 2017-09-18 13:24:35 +0200 |
| commit | 8b81804452fb953700470fbfe80db68279d86566 (patch) | |
| tree | 5448137d5b2ed158269658bcff2ac94478232cb4 /server/synctex_parser_utils.h | |
| parent | 26240cfdcad542b657f08a5bd96123468c75598f (diff) | |
Add target for updating synctex sources from upstream
Diffstat (limited to 'server/synctex_parser_utils.h')
0 files changed, 0 insertions, 0 deletions