inslist.pl: deal with the new encoding format
commit21513e822f64a79dfc651da7e94408d97d985db6
authorH. Peter Anvin <hpa@zytor.com>
Wed, 21 May 2008 01:33:40 +0000 (20 18:33 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Wed, 21 May 2008 01:33:40 +0000 (20 18:33 -0700)
treebc2b4bb51fe3d589ef1815a6d2eca93b18f142dd
parent2d31ec106a95bf74bb20d145fbd6b266007988c6
inslist.pl: deal with the new encoding format

Make it possible for inslist.pl to understand the new encoding format;
fix a few minor buglets.
doc/inslist.pl