1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00
Files
godot/editor/plugins/script_editor_plugin.cpp
Thaddeus Crews f0edac3d36 Merge pull request #102933 from KoBeWi/antivirus
Don't synchronize scripts with errors
2025-05-09 11:29:13 -05:00

157 KiB