Branch: Tag:

2018-10-12

2018-10-12 13:23:17 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Documentation [Threads]: Some notes about interrupt() and kill().

1:   PikeDoc.VERSION = 'Pike v8.1.13'; - PikeDoc.PUBDATE = '2018-10-10'; - PikeDoc.GENERATED = 1539169304; + PikeDoc.PUBDATE = '2018-10-12'; + PikeDoc.GENERATED = 1539351098;