This shouldn't be tied to pdf-tools

This commit is contained in:
Patrick Elliott 2018-07-18 13:38:48 +02:00
parent fae43bea51
commit e7465018fc