| commit | f5370f4019e38a814c788c24f9b3ee2acc3d8b93 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Wed Feb 11 22:52:47 1998 +0000 |
| committer | Guido van Rossum <guido@python.org> | Wed Feb 11 22:52:47 1998 +0000 |
| tree | 8b3f19cda9d25f7960f076f76f6796506b67a25f | |
| parent | 1c974db134496ff8a258f37cdf527925283180b5 [diff] |
Turn the space in [\^ ...] into a hard space: [\^\ ...].