diff make-dist @ 91558:2ddcf0ebbba2

Update GPL version.
author Glenn Morris <rgm@gnu.org>
date Wed, 06 Feb 2008 04:28:00 +0000
parents e062f74910e7
children 20ff5c172e35
line wrap: on
line diff