The other subfolders of tools/ had already been moved to either editor/, misc/ or thirdparty/, so the hiding the editor code that deep was no longer meaningful.
285 B
16x12px
285 B
16x12px
![](/maxmustermann/godot/raw/commit/159b1fc65f650df0428dbfa9d14e3fd0bcfb94d0/editor/icons/icon_mini_vector3.png)