log

age author description
Thu, 25 Jul 2019 17:22:49 +0200 Thomas Junk closing branch pdfscaling pdfscaling
Thu, 25 Jul 2019 17:22:31 +0200 Thomas Junk merge with default pdfscaling
Thu, 25 Jul 2019 17:22:10 +0200 Thomas Junk pdftool: change placeholder pdfscaling