46b8882017-08-11Chris Angelico PikeDoc.VERSION = 'Pike v8.1.11';
f7b9252017-11-25Stephen R. van den Berg PikeDoc.PUBDATE = '2017-11-25';
8c86ce2017-11-25Martin Nilsson PikeDoc.GENERATED = 1512111132;