diff make-dist @ 102081:04cccf4e9c21

add @insertcopying, bug#1988
author Karl Berry <karl@gnu.org>
date Tue, 17 Feb 2009 19:06:56 +0000
parents aec1dc534703
children c86e2f4ec9f8
line wrap: on
line diff