docs/users_guide/rtd-theme/__init__.py · 8aafa51cb714fb16989089d4bc1ea7e7eb50124c · haskell-wasm / GHC · GitLab

May 24, 2023
70526f5b
Update rdt-theme to latest upstream version · 70526f5b
mimi.vx authored May 24, 2023 and Marge Bot committed May 31, 2023
```
Fixes ghc/ghc#23444
```
70526f5b
Update rdt-theme to latest upstream version
mimi.vx authored May 24, 2023 and Marge Bot committed May 31, 2023
```
Fixes ghc/ghc#23444
```