diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-28 10:18:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-28 10:18:58 +0200 |
| commit | 007a46ef6b9dc26f3f450de91c4ca210271a1070 (patch) | |
| tree | b74e5e0338f0730b2ba271a6c953c9a5ac0dacf2 /editor | |
| parent | 538328898b7022c029134ffc94aac6edbda5a12f (diff) | |
| parent | 8499033354c09b55a399eb727cec8c3fb7608b0c (diff) | |
Merge pull request #31735 from follower/patch-5
Typo fix: "differt" -> "different"
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions