diff configure @ 9798:02449faf87dd

MINGW32 port
author faust3
date Wed, 02 Apr 2003 16:52:00 +0000
parents ed72c158215d
children c5fd755db576
line wrap: on
line diff