Skip to content

chore: update copyrights#3

Merged
dune73 merged 1 commit intomainfrom
update-copyrights
Feb 15, 2024
Merged

chore: update copyrights#3
dune73 merged 1 commit intomainfrom
update-copyrights

Conversation

@theseion
Copy link
Copy Markdown
Contributor

No description provided.

@theseion theseion requested a review from fzipi February 15, 2024 06:10
@dune73 dune73 merged commit 7e98b8e into main Feb 15, 2024
@theseion theseion deleted the update-copyrights branch February 15, 2024 12:16
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.

2 participants