Add LICENSE, following the Iris LICENSE file. (!1) · Merge requests · Iris / oRA · GitLab

Snippets Groups Projects

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

This closes issue #1 (closed).

/cc @jung @amintimany Can you state that you agree to releasing the contents of this repository under the BSD license.

Activity

Ralf Jung @jung 5 years ago

Owner

I release my contributions to this repository under the BSD license.
Robbert Krebbers @robbertkrebbers 5 years ago

Author Owner

@amintimany Do you agree with this? Please state explicitly if you do or not.
Amin Timany @amintimany 5 years ago

Maintainer

Yes, I agree with releasing under the BSD license.
Robbert Krebbers @robbertkrebbers 5 years ago

Author Owner

Thanks! Merging.
Robbert Krebbers mentioned in commit 6bad421c 5 years ago

mentioned in commit 6bad421c
Robbert Krebbers merged 5 years ago

merged

Please register or sign in to reply