godotengine/godot: Official EU-hosted mirror of the Godot Engine GitHub 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. @ 73d4fc708273c925f71e83c74bff101bbd1301e2

Rémi Verschelde ca09afd530 Merge pull request #80489 from raulsntos/dotnet/diagnostics		hai 1 ano
..
__init__.py	6bb29eb847 Mono: Reorganize build scripts	%!s(int64=5) %!d(string=hai) anos
build_assemblies.py	aa4dba5b56 C#: Improve diagnostic messages and add help link	hai 1 ano
mono_configure.py	cfd292939c Haiku: Remove remnants of past WIP platform port	hai 1 ano