Sign in
chromium
/
external
/
github.com
/
python
/
cpython
/
b2c6556fb0d309a04e37c2c9937fed16284cd00f
/
.
/
Doc
/
fix_hack
blob: 8c977291bb09a1e0fa93b4c9d1b0bfe9a5b56293 [
file
]
sed
-
e
's/{\\ptt[ ]*\\char[ ]*'"'"'137}/_/g'
<
"$1"
>
"@$1"
&&
mv
"@$1"
$1
