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