commit | 68c172e3f2aa0ad6d22492417eaa2682bc9f9797 | [log] [tgz] |
---|---|---|
author | Guido van Rossum <guido@python.org> | Tue Jan 21 11:34:56 1992 +0000 |
committer | Guido van Rossum <guido@python.org> | Tue Jan 21 11:34:56 1992 +0000 |
tree | 6cb91f2a0d2b4736c2a761370021ebabb700780b | |
parent | 0f1f9da8e237c907ed9934756f9ccdb20543df9e [diff] |
Change \verb\xxx\ in section titles back to {\tt xxx}.