1c7eae2017-01-09Martin Nilsson PikeDoc.VERSION = 'Pike v8.1.9';
c15fc02017-04-05Chris Angelico PikeDoc.PUBDATE = '2017-04-05';
28fe6a2017-04-05Chris Angelico PikeDoc.GENERATED = 1512105559;