diff configure.in @ 93039:e48df1ee4371

Revert unintended change.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 17 Mar 2008 21:58:19 +0000
parents 87ea46f93e54
children 4a2fb96d5195
line wrap: on
line diff