diff options
author | Andrey Andreev <narf@devilix.net> | 2017-02-13 09:33:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-13 09:33:30 +0100 |
commit | 17e2fa90070d2b0521e7ec14116b5dff71958c1a (patch) | |
tree | 8feecf755406f5baabbb4793da4bf33173cc9bb5 /user_guide_src/source | |
parent | 7173c9641df9b39a5f07d3b57a8c05cabefcfa52 (diff) | |
parent | d072d449ffa2912f5d922f23e0bc9cac4712a337 (diff) |
Merge pull request #5016 from zploskey/fix_userguide_version
[ci skip] Increase version in userguide to 3.1.4-dev
Diffstat (limited to 'user_guide_src/source')
-rw-r--r-- | user_guide_src/source/conf.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user_guide_src/source/conf.py b/user_guide_src/source/conf.py index 5c447b722..2df5f9eb2 100644 --- a/user_guide_src/source/conf.py +++ b/user_guide_src/source/conf.py @@ -48,9 +48,9 @@ copyright = u'2014 - 2017, British Columbia Institute of Technology' # built documents. # # The short X.Y version. -version = '3.1.3-dev' +version = '3.1.4-dev' # The full version, including alpha/beta/rc tags. -release = '3.1.3-dev' +release = '3.1.4-dev' # The language for content autogenerated by Sphinx. Refer to documentation # for a list of supported languages. |