christos b30e7aec1f remove useless cast.		2012-12-29 14:51:41 +00:00
..
nawk	remove useless cast.	2012-12-29 14:51:41 +00:00
Makefile