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

Rémi Verschelde ca09afd530 Merge pull request #80489 from raulsntos/dotnet/diagnostics		vor 1 Jahr
..
__init__.py	6bb29eb847 Mono: Reorganize build scripts	vor 5 Jahren
build_assemblies.py	aa4dba5b56 C#: Improve diagnostic messages and add help link	vor 1 Jahr
mono_configure.py	cfd292939c Haiku: Remove remnants of past WIP platform port	vor 1 Jahr