diff configure @ 42205:7308bbc423d5

Doc fixes.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 20 Dec 2001 18:59:32 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff