Skip to content
This repository was archived by the owner on Jun 11, 2020. It is now read-only.

Rename UNUSED_FILES to OTHER_FILES#709

Merged
sandersn merged 1 commit intomasterfrom
rename-UNUSED_FILES
Nov 18, 2019
Merged

Rename UNUSED_FILES to OTHER_FILES#709
sandersn merged 1 commit intomasterfrom
rename-UNUSED_FILES

Conversation

@sandersn
Copy link
Member

@sandersn sandersn commented Nov 18, 2019

Also skip blank lines from the file

Also exclude blank lines from the file
@sandersn
Copy link
Member Author

@andrewbranch I put you on the review for this but it's so simple that I'll just merge it after CI passes. (Not that there are any tests for UNUSED_FILES.txt right now...)

@sandersn sandersn merged commit 9d7b744 into master Nov 18, 2019
@sandersn sandersn deleted the rename-UNUSED_FILES branch November 18, 2019 23:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant