diff --git a/.buildinfo b/.buildinfo index ed3aa2ce..7b4b7174 100755 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file records the configuration used when building these files. When it is not found, a full rebuild will be done. -config: f7622b52c0e2d4749bdd9a859e0b67c0 +config: 5b51e9cb8fe336b548389e1b143d9fe7 tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/_static/documentation_options.js b/_static/documentation_options.js index d4bc513e..b305a495 100755 --- a/_static/documentation_options.js +++ b/_static/documentation_options.js @@ -1,5 +1,5 @@ const DOCUMENTATION_OPTIONS = { - VERSION: ' v0.3.12', + VERSION: ' v0.3.13', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/build_with_arch/agent.html b/build_with_arch/agent.html index dbafbf38..dab1a1c4 100755 --- a/build_with_arch/agent.html +++ b/build_with_arch/agent.html @@ -7,9 +7,9 @@ -