diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-01-25 14:52:40 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-25 14:52:40 -0300 |
| commit | 4c28f35b2c6dacd30a0e10453af1bcd977de9342 (patch) | |
| tree | 8d843a57b0a49a6bc09a799a5fc7bdb3540b944b /platform | |
| parent | 7e1afeafd4a347c309562c6783119f64e99fc317 (diff) | |
| parent | 7dbb1c0571c0d1fb26c28552b09430807cc4d717 (diff) | |
Merge pull request #7002 from RandomShaper/vcs-friendliness
Greater VCS friendliness
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions