Johannes Rieken 68e819043c use tsconfig.json#include for vscode.d.ts and vscode.proposed.d.ts, enables to remove most ref.d.ts-files

2021-11-09 15:53:35 +01:00

..

extension.ts

…