diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-29 23:51:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-29 23:51:17 +0200 |
| commit | 0378a9ba80dc5083bbafa4a216ed70ea5d450c03 (patch) | |
| tree | a156074f100c479eb49c5ac9aa6fce591eefc028 /core/os | |
| parent | 9768ce5763cd0fdd8c17c8f052e1c65036517768 (diff) | |
| parent | 8b2688786f4c294397b2fc9aaa9e2aab1c7c074e (diff) | |
Merge pull request #22520 from akien-mga/fix-warnings
Fix warning about functions defined but not used [-Wunused-function]
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions