Fred Drake c054c75582 Work around the conversion of ">>" and "<<" to guillemets. Reported by Ping.		2001-04-13 17:25:38 +00:00
..
inst.tex	Work around the conversion of ">>" and "<<" to guillemets. Reported by Ping.	2001-04-13 17:25:38 +00:00