Fred Drake 1aedbd8b0a "--" --> "---" in two places.		1998-02-16 14:47:27 +00:00
..
ext.tex	"--" --> "---" in two places.	1998-02-16 14:47:27 +00:00