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>
1 file changed