46b8882017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.1.11';
0580f72018-01-13Martin Nilsson PikeDoc.PUBDATE = '2018-01-13';
14cb962018-01-13Martin Nilsson PikeDoc.GENERATED = 1515866560;