diff options
| author | Aleksey Kladov <[email protected]> | 2019-01-11 15:35:04 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-11 15:35:04 +0000 |
| commit | f23a13bfa7bae7e34070bfd14d22b70a82315022 (patch) | |
| tree | feabca67fa58734a128cdbc88ff9ddde2479d1cf /editors/code/src/extension.ts | |
| parent | dda916bc4d51383fcf84f736bd12c7a77c445fb0 (diff) | |
kill NavTarget ptr
Diffstat (limited to 'editors/code/src/extension.ts')
0 files changed, 0 insertions, 0 deletions