- From: Boris Zbarsky <bzbarsky@MIT.EDU>
- Date: Tue, 08 May 2012 15:22:24 -0400
- To: www-style@w3.org
On 5/8/12 3:15 PM, Brian Manthos wrote: > <positive-integer> = [0-9]+ 0*[1-9][0-9]* Similar for negative-integer. Apart from that nit, this is an excellent idea. -Boris
Received on Tuesday, 8 May 2012 19:22:56 UTC