diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-10-15 09:57:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 09:57:46 +0200 |
commit | a1033aea51515cd5f831cedf9834ea376200356a (patch) | |
tree | 0607096c2ed5646c9a51fc3bc48013abaf95bf12 /platform/server | |
parent | 44293db4462f551617147b85e2ede66acf741c55 (diff) | |
parent | c69ae35d4d24aee102ab3bf90ef14a97851a7ef2 (diff) |
Merge pull request #32830 from timoschwarzer/remove-redundant-compiler-directives
Remove redundant compiler directives
Diffstat (limited to 'platform/server')
0 files changed, 0 insertions, 0 deletions