fix_hack 86 Bytes
Newer Older
1
#!/bin/sh
2
sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1