diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-20 12:55:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-20 12:55:15 +0200 |
commit | a4377ca46534e6376ccf50ae1cbc0e607be252a1 (patch) | |
tree | d2e241467aaea3e23321759ca1b9490026fa1fcf /modules/mono/utils/osx_utils.cpp | |
parent | a8db4c848d72214f9913ea521f802b477f7ea259 (diff) | |
parent | cef7ca4abb59d3d316ba026c6248544c931394e8 (diff) |
Merge pull request #31356 from Calinou/improve-project-manager-ui
Improve the project manager UI
Diffstat (limited to 'modules/mono/utils/osx_utils.cpp')
0 files changed, 0 insertions, 0 deletions