diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-11 14:26:17 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-11 14:26:17 +0100 |
| commit | 372414d27b41f60142f6c01fd48746a36e71f392 (patch) | |
| tree | f6ee7802c775681ff6269000222aa322eeac7b10 /editors/code/.gitignore | |
| parent | 0679d8cbe7acc5221d985e6d4187d6df293bd9d5 (diff) | |
| parent | 12e23bd60b9c3dde24bb9fa597ad88705abd2b76 (diff) | |
Merge #3942
3942: vscode: fix typing bug in config r=matklad a=Veetaha
I noticed that the type of nullable properties in config is actually non-nullable
Co-authored-by: veetaha <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions