diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-21 19:55:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-21 19:55:02 +0200 |
| commit | 393daf05025bd8076ec01eb754d1145dbb12edc5 (patch) | |
| tree | d5ec5874e2a9be7c57be2b2fa3584c664b6fb71f /editor | |
| parent | f002e4cb82844083edb8a825160582d00f42bb21 (diff) | |
| parent | 68902453214c580e8c3ec9e4247c3a3cad73079e (diff) | |
Merge pull request #12287 from tagcup/pass_metallic
Corrections to #11807.
[ci skip]
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions