diff --git a/devel/.buildinfo b/devel/.buildinfo index 154ed9a7f..6aab64b64 100644 --- a/devel/.buildinfo +++ b/devel/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: dfac7387fa42536775c8bc4628d4262c +config: 603ba7ca00c8d5d5146e8bdb592bc46a tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/devel/_static/documentation_options.js b/devel/_static/documentation_options.js index 38e609f75..588de8fd1 100644 --- a/devel/_static/documentation_options.js +++ b/devel/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: 'v0.7.1-20-ge20ea5a7', + VERSION: 'v0.7.1-22-gf5f9f528', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/devel/deployment/operator/README.html b/devel/deployment/operator/README.html index 3e898255d..bc79d7c01 100644 --- a/devel/deployment/operator/README.html +++ b/devel/deployment/operator/README.html @@ -4,7 +4,7 @@ -