Updated github build

This commit is contained in:
Mark Qvist 2025-11-03 16:50:04 +01:00
parent 40a5b704b1
commit 7b3bfa99b6
36 changed files with 2679 additions and 2031 deletions

View file

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