diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-11 09:20:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-11 09:20:31 +0100 |
commit | cd9d5132854e239726a08098d9029bdd00eee752 (patch) | |
tree | caeced4ae18318566041bc1e68be0a5f454bf2fa /platform/x11/detect_prime.cpp | |
parent | f965ccee7bf83e34fd8d8cf2819f7ff73aef18de (diff) | |
parent | 8fbc9d33fd3db9d4362ecda0f89a9051d186dbf6 (diff) |
Merge pull request #34181 from van800/rider
Support Rider as external editor for Godot mono version
Diffstat (limited to 'platform/x11/detect_prime.cpp')
0 files changed, 0 insertions, 0 deletions