]> granicus.if.org Git - python/commit
Turn the space in [\^ ...] into a hard space: [\^\ ...].
authorGuido van Rossum <guido@python.org>
Wed, 11 Feb 1998 22:52:47 +0000 (22:52 +0000)
committerGuido van Rossum <guido@python.org>
Wed, 11 Feb 1998 22:52:47 +0000 (22:52 +0000)
commitf5370f4019e38a814c788c24f9b3ee2acc3d8b93
tree8b3f19cda9d25f7960f076f76f6796506b67a25f
parent1c974db134496ff8a258f37cdf527925283180b5
Turn the space in [\^ ...] into a hard space: [\^\ ...].
Doc/lib/libre.tex
Doc/libre.tex