diff options
| author | Damien George <damien@micropython.org> | 2023-09-18 11:02:27 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-09-18 11:02:27 +1000 |
| commit | 9dd40d1b607dae7b943d57a61e83191687a5683e (patch) | |
| tree | 449871a13ae6cb848f7fe2c2f2346576ed8f36e6 /py/persistentcode.c | |
| parent | 5473200aab492d64866511d96b6f4a7d4cb41393 (diff) | |
docs/conf.py: Add sphinxcontrib.jquery to extensions.
This is needed by recent versions of sphinx-rtd-theme.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py/persistentcode.c')
0 files changed, 0 insertions, 0 deletions