* scripts/lib-names.awk: Consider [0-9].* a "number", not just [0-9]+.
authorRoland McGrath <roland@gnu.org>
Thu, 10 Feb 2005 21:16:55 +0000 (21:16 +0000)
committerRoland McGrath <roland@gnu.org>
Thu, 10 Feb 2005 21:16:55 +0000 (21:16 +0000)
commita078a7eecdcfdbc73280f5ed71a660b7c7b0d392
tree3eaaa91652e159f8ed97fb351615b9a705e7b7eb
parent0a38b835212cc8268fe547d3a8032dcc6b65f6c8
* scripts/lib-names.awk: Consider [0-9].* a "number", not just [0-9]+.

Reported by H.J. Lu <hongjiu.lu@intel.com>.
ChangeLog
scripts/lib-names.awk