christos feae6811f5 another place where 17 -> 20 needs to be changed.		2005-04-20 02:00:45 +00:00
..
config.h	another place where 17 -> 20 needs to be changed.	2005-04-20 02:00:45 +00:00