Skip to content

Add license header to new files#3633

Merged
nlohmann merged 2 commits intodevelopfrom
copyrights
Jul 31, 2022
Merged

Add license header to new files#3633
nlohmann merged 2 commits intodevelopfrom
copyrights

Conversation

@nlohmann
Copy link
Owner

Ran make reuse to add license headers to all files.

@nlohmann nlohmann added this to the Release 3.11.0 milestone Jul 30, 2022
@nlohmann nlohmann merged commit 9472ab4 into develop Jul 31, 2022
@nlohmann nlohmann deleted the copyrights branch July 31, 2022 05:22
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.

1 participant