make/templates/gpl-header
changeset 10670 4ea0e7d2ffbc
parent 7357 772fec2fe334