diff configure @ 14587:074e4dfed912

small updates
author diego
date Tue, 25 Jan 2005 00:28:48 +0000
parents aacd81655870
children a288fcf5eec1
line wrap: on
line diff