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

Add license headers + fix subdir formatting #30

Merged
merged 1 commit into from
Jul 23, 2024
Merged

Conversation

jchv
Copy link
Collaborator

@jchv jchv commented Jul 23, 2024

There was some missing formatting due to a minor mistake in the format check. That fix is rolled in here.

This PR adds license headers to all of the source code files. Hopefully the copyright lists are reasonably complete. They should cover significant contributors to a file, and the range of years they contributed. If you are missing from a file and you think you should be in it, or you want your credit to be modified some other way, feel free to send a PR or file an issue.

License headers may not always be necessary, but they are generally advised.

@jchv jchv merged commit 9e3f4db into master Jul 23, 2024
7 checks passed
@jchv jchv deleted the license-headers branch July 23, 2024 03:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant