diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-13 12:36:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-13 12:36:37 +0200 |
| commit | 36c8062400f4f24f819f8096c6ec3bb2d8ebb156 (patch) | |
| tree | 1eef6070bd14eba3ee16bb294cf0db519a68b18d | |
| parent | e97ada64135dcdf81ac817ded43c810b3f6883e5 (diff) | |
| parent | 26a0cecdc7dbeae4aea690901607a81aa6a87cf0 (diff) | |
Merge pull request #12067 from BastiaanOlij/add_xml_to_gitattributes
Add .xml to .gitattributes
[ci skip]
| -rw-r--r-- | .gitattributes | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes index f8959dd2d1..03c6f96f80 100644 --- a/.gitattributes +++ b/.gitattributes @@ -8,3 +8,4 @@ drivers/* linguist-vendored *.h eol=lf *.py eol=lf *.hpp eol=lf +*.xml eol=lf |