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. @ 3.1

Max Hilbrunner ad2e2c9ec0 Prepend "(DEV)" to HTML titles if build locally/not on RTD		%!s(int64=4) %!d(string=hai) anos
..
breadcrumbs.html	54c3b3e98a Adds a breadcrumb template to manage hiding 'Edit on Github' link.	%!s(int64=5) %!d(string=hai) anos
layout.html	ad2e2c9ec0 Prepend "(DEV)" to HTML titles if build locally/not on RTD	%!s(int64=4) %!d(string=hai) anos