Added --tmpdir, #650 (#651)

2022-03-02 06:58:23 -08:00
parent f132e9a843
commit d8802368fc
20 changed files with 341 additions and 181 deletions
--- 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: '0.47.3',
+    VERSION: '0.47.4',
    LANGUAGE: 'None',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',