Files
godot/editor/editor_node.cpp
Gilles Roudiere e6dfce6b52 Merge pull request #11704 from Hinsbart/move_interface_properties
EditorSettings: Move interface/ properties to interface/editor
2017-09-30 12:38:59 +02:00

180 KiB