Branch: Tag:

2017-07-10

2017-07-10 10:30:01 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Manual: Extended the data types chapter with void & mixed.

Added some elaboration on the difference between compile-time
and run-time types, as well as some about the types void & mixed
and how they are used.

Fixes [bug 1656 (#1656)].

1:   PikeDoc.VERSION = 'Pike v8.1.9'; - PikeDoc.PUBDATE = '2017-07-02'; - PikeDoc.GENERATED = 1512106757; + PikeDoc.PUBDATE = '2017-07-10'; + PikeDoc.GENERATED = 1512106827;