diff configure @ 14385:bcee8632c130

missing ","
author diego
date Thu, 06 Jan 2005 10:18:45 +0000
parents dc7b86065e3c
children 62614fd2336a
line wrap: on
line diff