Christian Ulrich 92bcf622a9 add script for reducing PDF size		2022-08-18 12:08:47 +02:00
..
reduce_pdf_size.sh	add script for reducing PDF size	2022-08-18 12:08:47 +02:00