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 /misc/dist/document_icons | |
| 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 'misc/dist/document_icons')
0 files changed, 0 insertions, 0 deletions