(GPL): Replace license with GPLv3.
authorGlenn Morris <rgm@gnu.org>
Wed, 25 Jul 2007 08:15:27 +0000 (08:15 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 25 Jul 2007 08:15:27 +0000 (08:15 +0000)
commit6730fceb29adfaf495cc228659d893c72faa4dd7
tree57cd30b5ab4f256a723335b94ab983e603e47b17
parenteeddf09bb3fd87d69dc0e8a3b2e56dcc19e81067
(GPL): Replace license with GPLv3.
lispref/gpl.texi