diff --git a/docs/_static/documentation_options.js b/docs/_static/documentation_options.js index 39cf6a48..457ca90d 100644 --- a/docs/_static/documentation_options.js +++ b/docs/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: 'v0.9.12', + VERSION: 'v0.9.13', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/docs/compatibility.html b/docs/compatibility.html index dc24888e..87ff77f3 100644 --- a/docs/compatibility.html +++ b/docs/compatibility.html @@ -6,7 +6,7 @@ - + @@ -14,7 +14,7 @@ -