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 /COPYRIGHT.txt | |
parent | e97ada64135dcdf81ac817ded43c810b3f6883e5 (diff) | |
parent | 26a0cecdc7dbeae4aea690901607a81aa6a87cf0 (diff) |
Merge pull request #12067 from BastiaanOlij/add_xml_to_gitattributes
Add .xml to .gitattributes
[ci skip]
Diffstat (limited to 'COPYRIGHT.txt')
0 files changed, 0 insertions, 0 deletions