diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-22 11:52:23 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-01-22 11:52:23 +0000 |
| commit | 2ca9cb375385fceede55cfacdbadc1c6bf24e2ea (patch) | |
| tree | b8772cc86724b0e9e44f53eb828e4c9b92883024 /editors/code/.gitignore | |
| parent | 6403b530bb75f708b44a22e166671917121e625f (diff) | |
| parent | eb2cb6b01f9fc35498e809f3905d5149c045876b (diff) | |
Merge #7388
7388: Minor fix for #7387 r=edwin0cheng a=edwin0cheng
bors r+
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions