waf --list needs to show old numbers as well as new names

[Hal Murray]

It's handy if you are updating a script.



-- 
These are my opinions.  I hate spam.



_______________________________________________
devel mailing list
devel@ntpsec.org
http://lists.ntpsec.org/mailman/listinfo/devel