diff configure @ 8631:3edba4a36c81

(temporary?) fix for redundant buffer re-allocation
author arpi
date Sun, 29 Dec 2002 02:57:49 +0000
parents c7e11273d195
children b9927004eacc
line wrap: on
line diff