tools/pdf: rename +pdf-tools-pages segment => +pdf-pages

This commit is contained in:
Henrik Lissner 2018-05-29 15:34:45 +02:00
parent 947fe345c3
commit 6bb5946765
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395