diff options
| author | Ignacio Roldán Etcheverry <neikeq@users.noreply.github.com> | 2019-04-08 22:13:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-08 22:13:13 +0200 |
| commit | 9ab17b664dbecad4bf773048c422c66320bd45eb (patch) | |
| tree | d878618ed6672c7a43e4fae76f235422e785ca8d /thirdparty | |
| parent | e40aea7fecd86240502d8e2e8f8492428f8df307 (diff) | |
| parent | 7a4cf6339d23965b7c36b3265777e0447c745100 (diff) | |
Merge pull request #27809 from neikeq/github-pls
Workaround for syntax highlighting issue in GitHub
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions