diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-07 21:44:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-07 21:44:53 +0100 |
commit | 8287349bd3c647fe3a504b89dd02308279d71074 (patch) | |
tree | a84ca118a7d52ea0c1b4c7383f5a8e98d84531fb /platform/android/java | |
parent | fe202e1a553b56343c379da07b69a26d014685dd (diff) | |
parent | bbc36dbc67040afda18759d5305b61eeb636f706 (diff) |
Merge pull request #34896 from KoBeWi/no_tool_no_warn
Don't show conf warning if script is not tool
Diffstat (limited to 'platform/android/java')
0 files changed, 0 insertions, 0 deletions