diff options
| author | Pablo Barciela <[email protected]> | 2019-08-31 21:52:21 +0200 |
|---|---|---|
| committer | lukefromdc <[email protected]> | 2019-09-08 21:29:36 +0000 |
| commit | fe6a85533ba08ec7ea3f4cee139e10c76363288a (patch) | |
| tree | 39bb8f0641b5f274b06a9c9daaa934f80fa0f70e /.github | |
| parent | edd3661daf0c834881c59531bb52b42351b5afd2 (diff) | |
| download | atril-fe6a85533ba08ec7ea3f4cee139e10c76363288a.tar.bz2 atril-fe6a85533ba08ec7ea3f4cee139e10c76363288a.tar.xz | |
remove 'synctex' internally, work with external library instead
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions