46b8882017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.1.11';
2af9c82018-03-04Arne Goedeke PikeDoc.PUBDATE = '2018-11-04';
c301992018-09-23Tobias S. Josefowitz PikeDoc.GENERATED = 1541331316;