\# Generated by licence.pl from LICENCE.
\# You should edit those files rather than editing this one.

\define{shortcopyrightdetails} 1997-2021 Simon Tatham