diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-03 15:13:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-03 15:13:19 +0200 |
commit | f9b145d27f422af6b51e9e020be12135dec37ff4 (patch) | |
tree | 5be1847544025a1381c6ffbae5c839d7cef8a601 /modules/visual_script/visual_script_property_selector.h | |
parent | ae184a117e456060925721b960b25832c4864eea (diff) | |
parent | 7eabf4c8a322a520c59d63b2bba36be44480101f (diff) |
Merge pull request #27634 from akien-mga/dist-linux-mime
dist: Rename Linux mime type to follow system convention
Diffstat (limited to 'modules/visual_script/visual_script_property_selector.h')
0 files changed, 0 insertions, 0 deletions