wok-tiny log isapnptools/receipt

age author description
2015-10-02 Pascal Bellard Refresh, remove kernel*, add linux
2013-07-18 Pascal Bellard Add missing LICENSE
2011-04-01 Pascal Bellard Add isapnptools