autodoc.git/ modref/ constants.js

2018-12-08

2018-12-08 15:31:24 by Henrik Grubbström (Grubba) <grubba@grubba.org>

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

Merge branch '8.1'

* 8.1:
Thread.Condition: Improve docs.
pgsql: Avoid excessive latency on frequent ping()s.

1:   PikeDoc.VERSION = 'Pike v8.1.13'; - PikeDoc.PUBDATE = '2018-12-07'; - PikeDoc.GENERATED = 1548343910; + PikeDoc.PUBDATE = '2018-12-08'; + PikeDoc.GENERATED = 1548343965;