diff configure @ 1040:115ef47ef8c3

Minor optimization
author nickols_k
date Wed, 06 Jun 2001 09:33:36 +0000
parents b36fb1ae4b53
children b333271f4e7c
line wrap: on
line diff