diff configure @ 42146:7ffd5b80ef27

Fix previous change.
author Pavel Janík <Pavel@Janik.cz>
date Tue, 18 Dec 2001 17:39:22 +0000
parents 835df8cf4ef5
children b04a7400fcb8
line wrap: on
line diff