autodoc.git/ modref/ constants.js

2017-11-09

2017-11-09 02:30:23 by Stephen R. van den Berg <srb@cuci.nl>

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

Change destroy() to _destruct().

1:   PikeDoc.VERSION = 'Pike v8.1.11'; - PikeDoc.PUBDATE = '2017-11-05'; - PikeDoc.GENERATED = 1512109373; + PikeDoc.PUBDATE = '2017-11-09'; + PikeDoc.GENERATED = 1512109442;