Skip to main content

Browse the archive

Staging
v0.8.1
Revision 3caad8c291691dbec58a75db2341d80522793f88 authored by Guido van Rossum on 28 March 1995, 09:22:53 UTC, committed by Guido van Rossum on 28 March 1995, 09:22:53 UTC 
adapted to new naming; clarify comments somewhat
1 parent 1b91cda
Raw File
fix_hack 
#!/bin/sh
sed -e 's/{\\ptt[ 	]*\\char[ 	]*'"'"'137}/_/g' <"$1" > "@$1" && mv "@$1" $1
back to top