Branch: Tag:

2017-10-28

2017-10-28 12:42:41 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Pike.Lazy: Improved typing.

Also some documentation updates.

1:   PikeDoc.VERSION = 'Pike v8.1.11'; - PikeDoc.PUBDATE = '2017-10-27'; - PikeDoc.GENERATED = 1512108767; + PikeDoc.PUBDATE = '2017-10-28'; + PikeDoc.GENERATED = 1512108814;