diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-17 13:49:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-17 13:49:07 +0200 |
| commit | ebd14a778d29e0de4904564a762358cbc2412303 (patch) | |
| tree | 71a7e42df62367163e496cfdaf835da03584d0aa /platform/x11 | |
| parent | 7ffeabf6bbcdc44c29ff0d49321b289205034d66 (diff) | |
| parent | 0c10d3fc167f62cd2417804fd94de3b54513e273 (diff) | |
Merge pull request #22113 from char0xff/editor_interface
Update EditorInterface.xml
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions