Closed jgvictores closed 9 years ago
Implemented a separate tool to extract manifests from a pdf: done at 937e41eec77e850e82f648a5d9a245fbb671eced with tools/dumpPdfIndex.py
Option to avoid files if in manifest at a7582f032befbafc7bc6cbf8562667c9401f3591Add.