diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-05-20 13:00:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 13:00:02 +0200 |
| commit | 6110bdee138febf3b04b47bc15b834bda7b99d52 (patch) | |
| tree | 25d3ecfcd8bb644d274842435d56b04ce34fb5d8 /platform/server/os_server.h | |
| parent | 8b0ea337771a2ec04f8c731601c6a0518187b328 (diff) | |
| parent | 71808b38bc787cb2c903f3ac0479a0bc6e905fa8 (diff) | |
Merge pull request #28975 from RameshRavone/type_tag
NULL global_tag for non exposed classes
Diffstat (limited to 'platform/server/os_server.h')
0 files changed, 0 insertions, 0 deletions