diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-08 13:25:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-08 13:25:29 +0100 |
| commit | 2cdfef562e3535c359a73e6baac88ce7c6dd3358 (patch) | |
| tree | ceb1ab46ff0bbb22cf12a893b68ecb0afea18cc6 /servers | |
| parent | 7b26b3b67f7a8bc072e1f8deaccec8e678811d02 (diff) | |
| parent | e44408f6531cfd986577c28552a56692da9e1659 (diff) | |
Merge pull request #12744 from AndreaCatania/patch-1
Compile Android with STL enabled by default
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions