diff configure @ 2142:8939341c5187

Some fixes
author nick
date Tue, 09 Oct 2001 07:44:10 +0000
parents 1acfe0435a57
children 6358db6ad3d0
line wrap: on
line diff