diff configure @ 33844:77bf38091051

Clarify console output when reading optional configuration files.
author diego
date Wed, 27 Jul 2011 13:40:16 +0000
parents aeba53d139c9
children ebc24527c63f
line wrap: on
line diff