|
| From: | Richard Stallman |
| Subject: | Re: Unquoted special characters in regexps |
| Date: | Sun, 05 Mar 2006 19:49:32 -0500 |
So I believe that we just should go ahead and change "\\(\[[0-9]+\] \\)*"
to "\\(\\[[0-9]+] \\)*". I can do this, if desired.
Please do.
| [Prev in Thread] | Current Thread | [Next in Thread] |