Lukas Tenbrink 2d9c2365d4 Fix redirects in safari, by moving the redirect js script into the 404 page instead of checking if we're on 404 via the API.

2025-10-04 11:33:41 +02:00

..

css

expands the pygments lexer to cover GDScript 2 better

2025-09-02 14:51:01 +02:00

js

Fix redirects in safari, by moving the redirect js script into the 404 page instead of checking if we're on 404 via the API.

2025-10-04 11:33:41 +02:00

redirects.csv

Add JavaScript-based redirects to supplement Read the Docs redirects

2025-10-03 00:51:16 +02:00