From: Petter Reinholdtsen Date: Wed, 28 Oct 2020 05:14:10 +0000 (+0100) Subject: Adjust PDF size and margins. Remove htmls in distclean. X-Git-Url: https://pere.pagekite.me/gitweb/text-rms-personal-data-safe.git/commitdiff_plain/80bff4fcdb2f4946b1c92e5246e2a052bde20c38?hp=80bff4fcdb2f4946b1c92e5246e2a052bde20c38 Adjust PDF size and margins. Remove htmls in distclean. ---