diff configure @ 28065:aec8703ff07f

Avoid one more duplicated logic.
author reimar
date Fri, 05 Dec 2008 20:56:49 +0000
parents 936fc892dcab
children ff508c85d591
line wrap: on
line diff