diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-12 09:38:24 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-12 09:38:24 +0000 |
commit | d80df85d11486041a41e254a764b216de3b1549e (patch) | |
tree | 3f4e5757d1d3c5a14973d536e619bd62efee942e /editors | |
parent | f96df105ea6d27f295cc1c0a6cdb6c50979f67ed (diff) | |
parent | e9e792f2d7181b4af62af064f801fb60f32022f8 (diff) |
Merge #962
962: remove Def r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions