diff .hgignore @ 4418:c0bfe7283384

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