DWARF Git Projects / dwarf-doc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f843ad) | patch
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
treecc8f0c8a271293b22bda7782b9add0e506dd3f53tree | snapshot
parent5f843add5cc1e67de9e681d7d019518dfd3da18ccommit | diff
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] blob
dwarf5/tools/charfix.sh [new file with mode: 0644] blob
dwarf5/tools/fileio.py diff | blob | history
DWARF document repository