generator: Rename GPLv2 to GPLv2plus, LGPLv2 to LGPLv2plus.
authorRichard Jones <rjones@redhat.com>
Thu, 31 Dec 2009 11:29:49 +0000 (11:29 +0000)
committerRichard Jones <rjones@redhat.com>
Thu, 31 Dec 2009 11:29:49 +0000 (11:29 +0000)
commitde08dbc83037df26f48bdfda038531f457c192d9
tree9c50fd88b6fdd2f3f30c2709ecd72368f0739c9b
parent677e021225d05e92034a68cb9a9b487e5331d35d
generator: Rename GPLv2 to GPLv2plus, LGPLv2 to LGPLv2plus.

The licenses are "any later version", so reflect this in the
naming of the parameter to generate_header.
src/generator.ml