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 /.github | |
| 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 '.github')
0 files changed, 0 insertions, 0 deletions