diff options
-rw-r--r-- | documentation/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/conf.py b/documentation/conf.py index a8df6e8f86..33d0ddcfd7 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -16,7 +16,7 @@ import os | |||
16 | import sys | 16 | import sys |
17 | import datetime | 17 | import datetime |
18 | 18 | ||
19 | current_version = "dev" | 19 | current_version = "3.1.4" |
20 | 20 | ||
21 | # String used in sidebar | 21 | # String used in sidebar |
22 | version = 'Version: ' + current_version | 22 | version = 'Version: ' + current_version |