comparison make-dist @ 49391:89322203d074

Info-index and colons
author Karl Berry <karl@gnu.org>
date Wed, 22 Jan 2003 20:36:14 +0000
parents f526d32944b1
children 23a1cea22d13
comparison
equal deleted inserted replaced
49390:1ab93adb0017 49391:89322203d074