Remove copyright headers, update LICENCE file. (!124) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/copyright into master 5 years ago

All threads resolved!

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

Edited 5 years ago by Robbert Krebbers

Activity

Robbert Krebbers changed the description 5 years ago

changed the description
Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung
Last reply by Robbert Krebbers 5 years ago

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

22a06f37 - Remove copyright headers, update LICENCE file.

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Ralf Jung @jung · 5 years ago

Owner

LGTM.

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit 7e1f95ef

Please register or sign in to reply