diff options
Diffstat (limited to 'scripts/make_errors.py')
| -rwxr-xr-x | scripts/make_errors.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/make_errors.py b/scripts/make_errors.py index 7085c41..59b1b2b 100755 --- a/scripts/make_errors.py +++ b/scripts/make_errors.py @@ -30,7 +30,7 @@ def main(): # If you add a version to the list fix the docs (in errors.rst) classes, errors = fetch_errors( - ['9.1', '9.2', '9.3', '9.4', '9.5', '9.6', '10', '11', '12', '13', '14']) + '9.1 9.2 9.3 9.4 9.5 9.6 10 11 12 13 14 15'.split()) f = open(filename, "w") print("/*\n * Autogenerated by 'scripts/make_errors.py'.\n */\n", file=f) |