diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-05 19:40:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-05 19:40:40 +0100 |
| commit | cd1d1f5545642236cc5d03e898eda8190b1e0e72 (patch) | |
| tree | acee16386366d9ddb7a690b8e96bcca63ef1e369 /editor/editor_plugin.h | |
| parent | d345712547f39df1375207d3543c00ef51c8e6bf (diff) | |
| parent | 0071c04dcb5399431e7c13397c1e4228c2c8b8d0 (diff) | |
Merge pull request #17249 from efornara/skip_demo_prompt_nossl
skip demo download prompt if ssl is unavailable
Diffstat (limited to 'editor/editor_plugin.h')
0 files changed, 0 insertions, 0 deletions