?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
improve treatment of multi-line replies, ignore empty lines
[python/dscho.git] / Doc / fix_hack
blob8dad11101a99f75229e2f9e2883a89856cdb6ae1
1 #!/bin/sh
2 sed -e 's/{\\ptt[ ]*\\char[ ]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1