wok-next log icmpshell/receipt

age author description
2018-11-02 Aleksej Bobylev Cleaning is almost finished... I should proceed to upgrades.
2018-05-10 Aleksej Bobylev Unification of the patch system
2018-03-10 Aleksej Bobylev Tiny edits...
2014-12-18 Pascal Bellard Add icmpshell