diff configure @ 4221:401149ba73fd

Fixed bug with benchmark option
author albeu
date Thu, 17 Jan 2002 20:25:55 +0000
parents 2b141fcd69dd
children 5d744e4f5b62
line wrap: on
line diff