../ patch-configure,v 03-Apr-2022 10:09 6099 patch-pdf-backend.cc,v 24-Oct-2024 13:37 15688 patch-pdf-backend.hh,v 24-Sep-2015 23:13 9424 patch-pdf-dpi.cc,v 09-Dec-2020 15:05 2082 patch-pdf-unicode.cc,v 09-Dec-2020 15:05 2210 patch-pdf-unicode.hh,v 09-Dec-2020 15:05 2249 patch-pdf2djvu.cc,v 24-Oct-2024 13:37 19003 patch-system.hh,v 24-Sep-2015 23:13 7765