diff --git a/doc/source/ext/resources.py b/doc/source/ext/resources.py index 6d5beb27dc..32a0dc3ffd 100644 --- a/doc/source/ext/resources.py +++ b/doc/source/ext/resources.py @@ -39,7 +39,8 @@ _CODE_NAMES = {'2013.1': 'Grizzly', '9.0.0': 'Pike', '10.0.0': 'Queens', '11.0.0': 'Rocky', - '12.0.0': 'Stein'} + '12.0.0': 'Stein', + '13.0.0': 'Train'} all_resources = {}