[pdftex] pdf_minorversion 3

[Martin Schroeder]

On 2002-10-25 19:45:12 +0200, Gerben Wierda wrote:
> This does not work?

Now it does -- the code for handling the option wasn't there.

Best regards
        Martin
-- 
               Martin Schröder, MS at ArtCom-GmbH.DE
          ArtCom GmbH, Grazer Straße 8, D-28359 Bremen
          Voice +49 421 20419-44 / Fax +49 421 20419-10