update docs and stubs

This commit is contained in:
Richard Smith 2024-11-17 01:06:41 +00:00 committed by Richard Smith
parent e6f2c188db
commit ada4b1ca63
54 changed files with 17051 additions and 10134 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";