Move pdf-tools popup rules to tools/pdf

This commit is contained in:
Henrik Lissner 2019-09-19 18:42:46 -04:00
parent a0826447f5
commit d5ecfd3429
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395
2 changed files with 3 additions and 7 deletions