diff configure @ 7367:5b0baab4c4fd

Numbering corrected.
author diego
date Tue, 10 Sep 2002 22:10:06 +0000
parents b1346d1789ef
children 24c517eeac25
line wrap: on
line diff