Rémi Verschelde 730ef374b4 Merge pull request #88652 from RobProductions/fix-hover-margin ... Fix editor hover style margins when Draw Extra Borders is enabled		2024-02-27 10:17:34 +01:00
..
Godot.NET.Sdk	Merge pull request #87253 from van800/van800/analyser	2024-02-21 15:22:54 +01:00
GodotTools	Fix hover style margin with extra borders enabled	2024-02-21 21:36:48 -05:00
script_templates
bindings_generator.cpp	C#: Add deprecated message to generated bindings	2024-02-23 20:30:36 +01:00
bindings_generator.h	C#: Add deprecated message to generated bindings	2024-02-23 20:30:36 +01:00
code_completion.cpp
code_completion.h
editor_internal_calls.cpp
editor_internal_calls.h
hostfxr_resolver.cpp
hostfxr_resolver.h
semver.cpp
semver.h