diff options
Diffstat (limited to '')
| -rw-r--r-- | _static/doctools.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/_static/doctools.js b/_static/doctools.js index 4d67807d..0398ebb9 100644 --- a/_static/doctools.js +++ b/_static/doctools.js @@ -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"; |