diff configure @ 19149:73d8ea32ebb8

cosmetics: comments and reindentation asked by gxben
author nicodvb
date Sat, 22 Jul 2006 09:59:44 +0000
parents d9656bb2ae0e
children 97ea9a6616df
line wrap: on
line diff