diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-18 16:54:28 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-18 16:54:28 +0000 |
| commit | 8dd0e0086fc07422c9b1044b1db021cff6563214 (patch) | |
| tree | e25767bfadf847f2b8964e33ddd16d2574a2991b /editors/code/.vscodeignore | |
| parent | b63c7ecab960ab4478b28bb3ea2b4f9a2e78a00f (diff) | |
| parent | d33fc26e05c573f536e02afbffc354fa4f4a35f3 (diff) | |
| parent | afdeacf3c126b3e19bd1e50a912fee2b3f2d4aa9 (diff) | |
Merge #2589 #2591
2589: Touch up docs r=matklad a=matklad
2591: Remove dead code r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>