Skip to content

Remove copyright headers, update LICENCE file.

Robbert Krebbers requested to merge robbert/copyright into master

This follows iris!387 (merged). This closes issue #54 (closed).

Edited by Robbert Krebbers

Merge request reports