comparison configure @ 10431:1fafac4b6abe

better consistency
author diego
date Mon, 14 Jul 2003 16:39:28 +0000
parents c2fc1c310699
children 8d7ca7c06ca6
comparison
equal deleted inserted replaced
10430:4b2254f16fed 10431:1fafac4b6abe