Skip to content

Conversation

@dhurley
Copy link
Collaborator

@dhurley dhurley commented Nov 25, 2022

Proposed changes

Added copyright header to source files

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation (README.md)

@oliveromahony oliveromahony merged commit 1ab9444 into main Nov 30, 2022
@oliveromahony oliveromahony deleted the add-copyright-header branch November 30, 2022 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants