update docs [bot]

This commit is contained in:
github-actions
2024-11-07 07:53:17 +00:00
parent 6260964c18
commit d3a028ec63
43 changed files with 324 additions and 129 deletions

View File

@@ -1,12 +1,5 @@
/*
* doctools.js
* ~~~~~~~~~~~
*
* Base JavaScript utilities for all Sphinx HTML documentation.
*
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
* :license: BSD, see LICENSE for details.
*
*/
"use strict";