Added --with-usercollide option (hopefully correctly)
authorjcarneal <jcarneal>
Sat, 30 Sep 2000 21:47:14 +0000 (21:47 +0000)
committerjcarneal <jcarneal>
Sat, 30 Sep 2000 21:47:14 +0000 (21:47 +0000)
commit33aaa63ac3207b8b893842fbb10919c97a0e5ada
tree763e6ff86af70e46f4a102a36f0d76d50f438ddd
parent8ea9023f8ba3f911368d1a6269e734d9ae289b68
Added --with-usercollide option (hopefully correctly)
configure.in