diff options
| author | Rémi Verschelde | 2018-02-14 16:05:49 +0100 |
|---|---|---|
| committer | GitHub | 2018-02-14 16:05:49 +0100 |
| commit | 574133e4e0431e20ef4d4c5db8e25950371a28b5 (patch) | |
| tree | 57edc27178e5bf3655b24c4fd9de9927ab6f990c /core/make_binders.py | |
| parent | 1f17881d5d0909eec8e9222f73d1c87f481f41f1 (diff) | |
| parent | e415fd05bb5f7f66cfa76bf27247ffe329429405 (diff) | |
| download | godot-574133e4e0431e20ef4d4c5db8e25950371a28b5.tar.gz godot-574133e4e0431e20ef4d4c5db8e25950371a28b5.tar.zst godot-574133e4e0431e20ef4d4c5db8e25950371a28b5.zip | |
Diffstat (limited to 'core/make_binders.py')
| -rw-r--r-- | core/make_binders.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/make_binders.py b/core/make_binders.py index 6f42c6e8e..1e581f8ce 100644 --- a/core/make_binders.py +++ b/core/make_binders.py @@ -244,7 +244,7 @@ def make_version(template, nargs, argmax, const, ret): def run(target, source, env): - versions = 11 + versions = 13 versions_ext = 6 text = "" text_ext = "" |