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 /core/map.h | |
| 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 'core/map.h')
0 files changed, 0 insertions, 0 deletions