diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-15 08:01:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-15 08:01:06 +0200 |
| commit | 0471e4d578d6675a4c20d8b6a328a456cfd84a4a (patch) | |
| tree | 802fea5d0fb82aef818c7e15948cf805ed33e05d /editor/editor_builders.py | |
| parent | 23f5154de7cce553709defbde8944beab1870988 (diff) | |
| parent | dd1589b2bc969e5f0d3ccee691b886fe735e0182 (diff) | |
Merge pull request #30543 from kawa-yoiko/editor-script-typecheck
Fix potential crash caused by type mismatch in Ref
Diffstat (limited to 'editor/editor_builders.py')
0 files changed, 0 insertions, 0 deletions