From: Petter Reinholdtsen Date: Thu, 1 Feb 2018 07:59:36 +0000 (+0100) Subject: Remove unused LaTeX editing instructions. X-Git-Tag: es-printed~517 X-Git-Url: https://pere.pagekite.me/gitweb/text-madewithcc.git/commitdiff_plain/3ee93febf0259342d006f090c9b1d8a1468e87b0?hp=3ee93febf0259342d006f090c9b1d8a1468e87b0 Remove unused LaTeX editing instructions. ---