Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update license and copyright info #420

Merged
merged 1 commit into from Jul 6, 2020

Conversation

alanvgreen
Copy link
Contributor

Remove non-license explanatory text from LICENSE.txt.

Create CONTRIBUTING file with instructions and notes for contributors.

This change relates to issue #412

@codecov
Copy link

codecov bot commented Jul 2, 2020

Codecov Report

Merging #420 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #420   +/-   ##
=======================================
  Coverage   81.83%   81.83%           
=======================================
  Files          35       35           
  Lines        6098     6098           
  Branches     1238     1238           
=======================================
  Hits         4990     4990           
  Misses        930      930           
  Partials      178      178           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d4946b0...b8cff9a. Read the comment docs.

CONTRIBUTING Outdated Show resolved Hide resolved
CONTRIBUTING Outdated Show resolved Hide resolved
CONTRIBUTING Outdated Show resolved Hide resolved
CONTRIBUTING Outdated Show resolved Hide resolved
LICENSE.txt Show resolved Hide resolved
Remove non-license explanatory text from LICENSE.txt.

Create CONTRIBUTING file with instructions and notes for contributors.

This change relates to issue amaranth-lang#412
@whitequark whitequark merged commit 3a4576e into amaranth-lang:master Jul 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants