diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-17 12:56:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-17 12:56:13 +0200 |
| commit | 0953c8fd55531ca642444bc49567bdebd59192aa (patch) | |
| tree | 9a95006085dd74610efb5f10b76af57c294c1be4 /platform | |
| parent | 317512e2fb47cb024c58b907a149251882665580 (diff) | |
| parent | a2837360d0067151e1916922940c6f982fecd974 (diff) | |
Merge pull request #11314 from marcelofg55/master
Fix possible crash with ctrl-u on script editor
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions