From 87d06aaba7aa1ec453d247f18fa5efddd556c67c Mon Sep 17 00:00:00 2001 From: Don Jayamanne Date: Mon, 20 Jan 2025 18:46:18 +1100 Subject: [PATCH] oops --- src/api.proposed.jupyterSettings.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api.proposed.jupyterSettings.d.ts b/src/api.proposed.jupyterSettings.d.ts index 156c76f6901..1630a72b43c 100644 --- a/src/api.proposed.jupyterSettings.d.ts +++ b/src/api.proposed.jupyterSettings.d.ts @@ -16,7 +16,7 @@ declare module './api' { * The signature of this method matches the `fetch` method in the browser. * https://developer.mozilla.org/en-US/docs/Web/API/Window/fetch * fetch(input: RequestInfo, init?: RequestInit) =>Promise; - */ + */ readonly fetch?: (input: any, init?: any) => Promise; /** * The `WebSocket` object constructor.