Adding to the tools, in the tools directory.
authorDavid Anderson <davea42@earthlink.net>
Thu, 6 Dec 2012 23:35:25 +0000 (15:35 -0800)
committerDavid Anderson <davea42@earthlink.net>
Thu, 6 Dec 2012 23:35:25 +0000 (15:35 -0800)
commit28015a8bd0d7a0cd99c8c185318166fe93adbe25
treecc8f0c8a271293b22bda7782b9add0e506dd3f53
parent5f843add5cc1e67de9e681d7d019518dfd3da18c
Adding to the tools, in the tools directory.
The new tool can fix up  the utf-8 introduced
accidentally by copy/paste into the
current .tex. Changing it into proper latex
commands so all will then look right.

No change to any .tex file in this commit.
dwarf5/tools/charfix.py [new file with mode: 0644]
dwarf5/tools/charfix.sh [new file with mode: 0644]
dwarf5/tools/fileio.py