diff configure @ 8193:83d3125cb382

A bit more sane range.
author rguyom
date Thu, 14 Nov 2002 21:57:34 +0000
parents 487cfc28525d
children 1935017c0f71
line wrap: on
line diff