Skip to content

#62: fix licenses and guards - #63

Merged
fnrizzi merged 1 commit into
developfrom
62-check-headers-and-guards
Sep 8, 2025
Merged

#62: fix licenses and guards#63
fnrizzi merged 1 commit into
developfrom
62-check-headers-and-guards

Conversation

@cwschilly

Copy link
Copy Markdown
Collaborator

Fixes #62

@cwschilly cwschilly linked an issue Sep 8, 2025 that may be closed by this pull request
@cwschilly
cwschilly requested a review from fnrizzi September 8, 2025 15:59
@fnrizzi
fnrizzi merged commit 1d3ea22 into develop Sep 8, 2025
13 checks passed
@fnrizzi
fnrizzi deleted the 62-check-headers-and-guards branch September 8, 2025 16:06
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.

Check headers and guards

2 participants