diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-03 17:41:25 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-03 17:41:25 +0000 |
commit | 074474fe00a08d394cbdcac2a136bca825d93377 (patch) | |
tree | 0be46628b67ddfaa15be54520cdc41a03977a76a /editors/code | |
parent | 7a322f9afff05b88507a6956a2d84a3abef0a0d6 (diff) | |
parent | 34d6e22fc12209417c15d215052857ddac79cdf4 (diff) |
Merge #3427
3427: Rename NameDefinition -> Definition r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/.vscodeignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/.vscodeignore b/editors/code/.vscodeignore index 3d1156d3b..17c378a49 100644 --- a/editors/code/.vscodeignore +++ b/editors/code/.vscodeignore | |||
@@ -3,3 +3,4 @@ | |||
3 | !package.json | 3 | !package.json |
4 | !package-lock.json | 4 | !package-lock.json |
5 | !icon.png | 5 | !icon.png |
6 | !README.md | ||