From be48593e9a4169e6c8f337e22249cee5f9937cfb Mon Sep 17 00:00:00 2001 From: Jad Hamza Date: Fri, 27 Aug 2021 11:35:53 +0200 Subject: [PATCH] Bump Stainless version in documentation --- core/src/sphinx/conf.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/sphinx/conf.py b/core/src/sphinx/conf.py index 9601c17f95..f488684d0f 100644 --- a/core/src/sphinx/conf.py +++ b/core/src/sphinx/conf.py @@ -52,16 +52,16 @@ # General information about the project. project = u'Stainless' -copyright = u'2009-2019 EPFL, Lausanne' +copyright = u'2009-2021 EPFL, Lausanne' # The version info for the project you're documenting, acts as replacement for # |version| and |release|, also used in various other places throughout the # built documents. # # The short X.Y version. -version = '0.8' +version = '0.9' # The full version, including alpha/beta/rc tags. -release = '0.8.1' +release = '0.9.0' # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages.