diff options
author | rbuj <[email protected]> | 2019-08-22 10:28:28 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-08-29 12:00:35 +0200 |
commit | f1c1bbd843ab9ec47aa56782901d749bf895068f (patch) | |
tree | 409ecb698ff5ba045b2747ded2852d3089095ed5 /backend/djvu/djvu-document.c | |
parent | 4bc59d4a716b3ab271bb15adf4b9b5dd6961a4a2 (diff) | |
download | atril-f1c1bbd843ab9ec47aa56782901d749bf895068f.tar.bz2 atril-f1c1bbd843ab9ec47aa56782901d749bf895068f.tar.xz |
build: Use synctex system library if available
based on https://gitlab.gnome.org/GNOME/evince/commit/9edaca5b7b35bbbeeecfaf8d9291a4c092d8be91
Diffstat (limited to 'backend/djvu/djvu-document.c')
0 files changed, 0 insertions, 0 deletions