mirror of
https://github.com/tiennm99/godot.git
synced 2026-07-09 05:06:29 +00:00
b1252caa10
Now that #12009 is merged, we should let the system find the binary on the users $PATH and don't assume we know where to look for them in different distributions.