- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 07 Sep 2006 13:35:04 +0000
- To: www-xml-schema-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3659 ------- Comment #3 from lholst@students.cs.uu.nl 2006-09-07 13:35 ------- One additional improvement: - (\+|-) can be replaced with [+-]. It’s shorter (and probably faster). ~Grauw
Received on Thursday, 7 September 2006 13:35:32 UTC