46b8882017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.1.11';
1599612017-12-07Stephen R. van den Berg PikeDoc.PUBDATE = '2017-12-07';
4958342017-12-07Stephen R. van den Berg PikeDoc.GENERATED = 1512657095;