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 /editor/editor_plugin_settings.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 'editor/editor_plugin_settings.h')
0 files changed, 0 insertions, 0 deletions