summaryrefslogtreecommitdiff
path: root/localdebgitpush
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-01-05 03:31:40 +0100
committerJonas Smedegaard <dr@jones.dk>2024-01-05 03:31:40 +0100
commit7d55af2c841308d02be967bac5a451014554ee01 (patch)
tree0bef029b2d041274641667e5fbe32bc8fb7f8e46 /localdebgitpush
parentdd2db3ad3dfdd3bb74775b87701c28e0b923da72 (diff)
use Gostscript pdf2ps (not Poppler pdftops)HEADmaster
Diffstat (limited to 'localdebgitpush')
0 files changed, 0 insertions, 0 deletions