diff make-dist @ 52122:50e328ac7fb7

add @contents.
author Karl Berry <karl@gnu.org>
date Sun, 03 Aug 2003 18:29:52 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff