diff options
| author | Marc Gilleron | 2018-01-20 16:18:51 +0100 |
|---|---|---|
| committer | Marc Gilleron | 2018-01-20 16:59:26 +0100 |
| commit | e415fd05bb5f7f66cfa76bf27247ffe329429405 (patch) | |
| tree | 9d70c96a5e5bbc908d92589b3ae09827f5ea2490 /core/make_binders.py | |
| parent | f5234e70be7dec4930c2d5a0e829ff480d044b1d (diff) | |
| download | godot-e415fd05bb5f7f66cfa76bf27247ffe329429405.tar.gz godot-e415fd05bb5f7f66cfa76bf27247ffe329429405.tar.zst godot-e415fd05bb5f7f66cfa76bf27247ffe329429405.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 = "" |