|
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] |