godotengine/godot-docs: Official EU-hosted mirror of the Godot Engine GitHub documentation repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ 4348ababe55f171c977c81918bb1ba85d66ed553

mirror of https://github.com/godotengine/godot-docs

Max Hilbrunner 08fa821955 Prepend "(DEV)" to HTML titles if build locally/not on RTD		5 years ago
..
layout.html	08fa821955 Prepend "(DEV)" to HTML titles if build locally/not on RTD	5 years ago