On Apr 30, 2018, at 20:16, Rainer Müller wrote: > However, why do we add a license header to the port groups at all? > We also do not add it to each Portfile. I think we should drop the > license headers from all port groups.
Files in base have the copyright header. Portgroups used to be in base.
