autodoc.git/ modref/ constants.js

2019-06-20

2019-06-20 12:07:05 by Stephen R. van den Berg <srb@cuci.nl>

• 4076187f47eb9bc6ea24297bd561d4d69506e3e8 (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: master

Doc fix.

1:   PikeDoc.VERSION = 'Pike v8.1.13'; - PikeDoc.PUBDATE = '2019-06-17'; - PikeDoc.GENERATED = 1561721736; + PikeDoc.PUBDATE = '2019-06-20'; + PikeDoc.GENERATED = 1561721795;