diff configure @ 18940:530bca1ca585

Remove unused prototype
author rtogni
date Sat, 08 Jul 2006 12:01:38 +0000
parents 9e95ac641e77
children 7040a3bc84c9
line wrap: on
line diff