charset: replace delete character by symbol substitute
[sheet.git] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 1144 convert-allfonts
-rwxr-xr-x 643 mkcaniuse
-rwxr-xr-x 4174 mkcharinfo
-rwxr-xr-x 776 mkcharver
-rwxr-xr-x 5390 mkcountries-geonames
-rwxr-xr-x 688 mkcountries-wikipedia
-rwxr-xr-x 5743 mkdigraphlist
-rwxr-xr-x 2486 mkfontinfo
-rwxr-xr-x 1727 mkttfinfo
-rwxr-xr-x 2138 mkusage-statcounter
-rwxr-xr-x 3150 mkusage-wikimedia
-rwxr-xr-x 544 wget-ifmodified