35c47a2021-05-07Martin Nilsson PikeDoc.VERSION = 'Pike v8.1.14';
4eb3c02021-06-21Chris Angelico PikeDoc.PUBDATE = '2021-08-25';
815fca2021-08-25Chris Angelico PikeDoc.GENERATED = 1629880377;