diff Copyright @ 26957:c6deb00c7249

Remove another reference to a removed configure option.
author diego
date Wed, 04 Jun 2008 13:00:01 +0000
parents 5ebd778d4b4f
children 385e404459da
line wrap: on
line diff