Don't use times by default

gvanrossum · gvanrossum · commit aa1e140f033c · 1992-04-06T14:02:49.000Z
diff --git a/Doc/qua.tex b/Doc/qua.tex
@@ -1,4 +1,4 @@
-\documentstyle[11pt,times]{article}
+\documentstyle[11pt]{article}
 
 \title{
 Interactively Testing Remote Servers Using the Python Programming Language

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-\documentstyle[11pt,times]{article}`
	`1`	`+\documentstyle[11pt]{article}`
`2`	`2`
`3`	`3`	`\title{`
`4`	`4`	`Interactively Testing Remote Servers Using the Python Programming Language`