diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-31 22:08:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-31 22:08:57 +0200 |
| commit | 61eeace97238dea90a4231649cad74bc7e2303fb (patch) | |
| tree | b714033f1cea7fa8a06f43beab83273754fd4738 /scene/gui | |
| parent | 7cf58a7f667e75862b8e3f2502aad3cfee8b3b0f (diff) | |
| parent | dd2035d6e9ce2f865d17267c44529ccbca4c34eb (diff) | |
Merge pull request #31810 from merumelu/plugin-config-warnings
Warn about all missing keys in plugin.cfg
Diffstat (limited to 'scene/gui')
0 files changed, 0 insertions, 0 deletions