mirror of
https://gitlab.freedesktop.org/mesa/mesa.git
synced 2025-12-20 11:40:10 +01:00
We shouldn't use this extension at all if we're not using the HTML builder. This should hopefully fix this issue a bit more fundamentally. This caused issues when using the spelling extension, something I do locally from time to time. Fixes: |
||
|---|---|---|
| .. | ||
| bootstrap.py | ||
| formatting.py | ||
| nir.py | ||
| redirects.py | ||