Skip to content

Remove duplicate .gitattributes file#1854

Merged
josephsnyder merged 1 commit intoKitware:masterfrom
williamjallen:unnecessary-gitattributes
Dec 4, 2023
Merged

Remove duplicate .gitattributes file#1854
josephsnyder merged 1 commit intoKitware:masterfrom
williamjallen:unnecessary-gitattributes

Conversation

@williamjallen
Copy link
Collaborator

We currently have two .gitattributes files. The lower-level file duplicates information from the top level file, and is thus unnecessary.

@josephsnyder josephsnyder added this pull request to the merge queue Dec 4, 2023
Merged via the queue into Kitware:master with commit d9a6f83 Dec 4, 2023
@williamjallen williamjallen deleted the unnecessary-gitattributes branch December 4, 2023 20:18
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.

2 participants

Comments