Skip to content

Second attempt to remove license headers from source files#25

Merged
cb372 merged 1 commit intomasterfrom
remove-license-header-try-again
Dec 20, 2019
Merged

Second attempt to remove license headers from source files#25
cb372 merged 1 commit intomasterfrom
remove-license-header-try-again

Conversation

@cb372
Copy link
Copy Markdown
Member

@cb372 cb372 commented Dec 19, 2019

The previous attempt accidentally excluding the files from compilation as well. This time we keep the header but make it a blank string.

The previous attempt accidentally excluding the files from compilation
as well. This time we keep the header but make it a blank string.
@cb372 cb372 merged commit 22fc700 into master Dec 20, 2019
@cb372 cb372 deleted the remove-license-header-try-again branch December 20, 2019 10:14
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.

4 participants