diff Makefile @ 4418:c0bfe7283384

pdftool: remove .replace()
author Thomas Junk <thomas.junk@intevation.de>
date Wed, 18 Sep 2019 13:47:52 +0200
parents f7a32b0b9235
children 707450608829
line wrap: on
line diff