diff configure @ 4038:ec0647e73136

portable solution
author nick
date Mon, 07 Jan 2002 17:39:50 +0000
parents 73e945634181
children e1c6178de089
line wrap: on
line diff