diff configure @ 47253:d09547c3e778

(double-prefix-only): Fix spacing.
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 06 Sep 2002 07:12:37 +0000
parents 5502ee23a19b
children aaa302e0c7ae
line wrap: on
line diff