commit | d3d95abd326b764f80057fbe6f53afcf8a363edb | [log] [tgz] |
---|---|---|
author | Shawn O. Pearce <sop@google.com> | Sat Aug 21 14:10:35 2010 -0700 |
committer | Shawn O. Pearce <sop@google.com> | Sat Aug 21 14:10:35 2010 -0700 |
tree | 3152d8f255a715b450524494751fb1e19810ca0f | |
parent | b1f5060e0484be7f07ddbe7ab40b835979d075f2 [diff] |
Don't enable dk.brics.automaton's optional syntax Specifically we don't want "@" to mean "any string". Some people like to use "@" in a reference name such as "dev@cust1" and "dev@cust2". Change-Id: I401fa7cdfd1534690866f0e390e27447782bc5c9 Signed-off-by: Shawn O. Pearce <sop@google.com>