K 10
svn:author
V 2
bz
K 8
svn:date
V 27
2008-12-27T15:07:51.398562Z
K 7
svn:log
V 238
Permit digits at the beginning and end of kernel config file names for
`make universe'. This catches a few more arm and, once enabled, mips
configs and permits having local configs named like NOINET6.

Reviewed by:	phk
MFC after:	4 weeks

END