Merge alpha100 branch back to main trunk

This commit is contained in:
Guido van Rossum 1994-08-01 12:22:53 +00:00
parent ab3a2504b9
commit 6938f06047
27 changed files with 2906 additions and 1498 deletions

View file

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