diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-14 23:15:25 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-10-14 23:15:25 +0100 |
commit | 8cec1d986161298dbe9cc53f5477e87bfe5d0f47 (patch) | |
tree | 8e1911e315dc37b208507259b842a8e8aa49127a /editors | |
parent | 2ba6f18586d02a6dbc32e0bea88f7b4236277ea1 (diff) | |
parent | b8a96dcf14fd834c7d9beaaeb58ddb0ed52d2349 (diff) |
Merge #112
112: brush up docs r=matklad a=matklad
@kjeremy @aochagavia @DJMcNab anything else significant to add here?
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions