diff configure @ 22533:04762e3ffd0b

Remove unnecessary -I option.
author diego
date Tue, 13 Mar 2007 22:15:39 +0000
parents 0ceb7442ae2b
children f39115ea61bb
line wrap: on
line diff