diff configure @ 7021:d27dd694e5ea

more (~40%) speedup :)
author arpi
date Fri, 16 Aug 2002 16:06:02 +0000
parents e37a67d5e117
children 12a0f744c1f1
line wrap: on
line diff