Release files for #732, add --favorite-rating

2022-07-23 18:25:07 -07:00
parent 5d33dcdcc3
commit f8f9bd7b93
22 changed files with 90 additions and 51 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.50.8',
+    VERSION: '0.50.9',
    LANGUAGE: 'None',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',