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 /misc | |
| parent | 44293db4462f551617147b85e2ede66acf741c55 (diff) | |
| parent | c69ae35d4d24aee102ab3bf90ef14a97851a7ef2 (diff) | |
Merge pull request #32830 from timoschwarzer/remove-redundant-compiler-directives
Remove redundant compiler directives
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions