Henrik Lissner fe6981b245 Bump :tools pdf ...

flatwhatson/pdf-tools@eb6d406 -> vedang/pdf-tools@35e12b0

The original politza/pdf-tools is no longer maintained (?), and the PR
we were pullin from has been merged into a new, maintained fork at
vedang/pdf-tools.

Might address #4750

2021-03-08 10:25:09 -05:00

272 B

Raw Blame History

View Raw