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

#341: Add script for generating license and header guards #346

Merged
merged 6 commits into from
Jun 6, 2024

Conversation

thearusable
Copy link
Contributor

Closes #341

@thearusable thearusable self-assigned this May 31, 2024
@thearusable thearusable marked this pull request as ready for review June 4, 2024 12:32
Copy link
Contributor

@cz4rs cz4rs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Note: this should probably be merged after the DARMA-tasking/vt#2290.

@thearusable thearusable force-pushed the 341-header-guards-script branch from d9a84c3 to cffcbc0 Compare June 6, 2024 10:22
Copy link
Contributor

@lifflander lifflander left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

@lifflander lifflander merged commit f6cf0af into develop Jun 6, 2024
18 checks passed
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.

Integrate new script for generating the header guards
3 participants