charset: replace delete character by symbol substitute
[sheet.git] / tools / mkcharver
2015-02-13 Mischa POSLAWSKYwriting: mkcharver script to parse unicode version...