diff configure @ 3136:b196b915fdc4

oops
author michael
date Mon, 26 Nov 2001 02:20:51 +0000
parents 59ac428ae68d
children b8e7c71f4fcb
line wrap: on
line diff