diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-22 16:40:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-22 16:40:20 +0100 |
| commit | 2ea5ac17e8200625ee8e9b09c7836462e33baf26 (patch) | |
| tree | 450a1da04bbccb9d5ba660736532203370d6906d /.gitattributes | |
| parent | 09153f1143f9af563967eb6e355a88c3fd2c1ec1 (diff) | |
| parent | d6e413bb9cb91255014cddacdba1591e14df56dd (diff) | |
Merge pull request #13159 from AndreaCatania/ray
Removed type_mask and fixed some variable name
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions