diff configure @ 49391:89322203d074

Info-index and colons
author Karl Berry <karl@gnu.org>
date Wed, 22 Jan 2003 20:36:14 +0000
parents 2867da9cc2b0
children 99be3a1e2589
line wrap: on
line diff