A small utility I wrote in Python to convert "smart" characters into their "dumb" equivalents.
Primary LanguagePython