Merge branch 'notebook/dev' into joh/kernel-push

This commit is contained in:
Johannes Rieken
2021-04-08 10:04:13 +02:00
111 changed files with 1134 additions and 1505 deletions

View File

@@ -1118,6 +1118,7 @@ export enum CandidatePortSource {
export interface PortAttributesProviderSelector {
pid?: number;
portRange?: [number, number];
commandMatcher?: RegExp;
}
export interface MainThreadTunnelServiceShape extends IDisposable {