diff options
| author | Robin Watts <robin.watts@artifex.com> | 2016-02-22 15:45:36 +0000 |
|---|---|---|
| committer | Robin Watts <robin.watts@artifex.com> | 2016-02-22 16:38:05 +0000 |
| commit | f99993f33a5af4dad808cb2f8d3668cbd0a192e9 (patch) | |
| tree | 345966e1a5ccd48ed866bfa282bd1107c6948b6f /.gitattributes | |
| parent | 5a390d0ce33a7dd9400675a236424db390a807c5 (diff) | |
| download | mupdf-f99993f33a5af4dad808cb2f8d3668cbd0a192e9.tar.xz | |
Fix Annot handling in mutool clean.
When cleaning a file, we discard any Annot entries that no longer
point to genuine pages. Or at least, we should have done, were it
not for the fact that we only handled the /A form of Annots, and
not the /Dest form of annots. Fixed here.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions