diff configure @ 9714:3ed7400a9e74

Only write title if verbose>0.
author ranma
date Fri, 28 Mar 2003 10:08:55 +0000
parents ed72c158215d
children c5fd755db576
line wrap: on
line diff