46b8882017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.1.11';
2af9c82018-03-04Arne Goedeke PikeDoc.PUBDATE = '2018-11-04';
2b95702018-09-23Arne Goedeke PikeDoc.GENERATED = 1541331361;