summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2017-02-13 09:33:30 +0100
committerGitHub <noreply@github.com>2017-02-13 09:33:30 +0100
commit17e2fa90070d2b0521e7ec14116b5dff71958c1a (patch)
tree8feecf755406f5baabbb4793da4bf33173cc9bb5 /user_guide_src/source
parent7173c9641df9b39a5f07d3b57a8c05cabefcfa52 (diff)
parentd072d449ffa2912f5d922f23e0bc9cac4712a337 (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.py4
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.