diff configure @ 42206:0f4506820432

Doc fix.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 20 Dec 2001 19:01:00 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff