Reinhold Straub <demarc...@web.de> writes: > Hi,
Hi, > there is a new version of pdfgrep. Works for me, committed. Minor nit: indentation should use tabs, not spaces. Thanks, -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE