diff configure @ 12586:a900f5b7ab81

More consistent naming pointed out by Torinthiel.
author diego
date Mon, 14 Jun 2004 12:40:17 +0000
parents 7b0be3001d39
children bf1868bd2928
line wrap: on
line diff