remove todos

This commit is contained in:
Johannes Rieken 2021-03-05 15:00:18 +01:00
parent 3a21f7815c
commit 86df444212
No known key found for this signature in database
GPG key ID: 96634B5AF12F8798

View file

@ -1423,7 +1423,6 @@ declare module 'vscode' {
export const onDidOpenNotebookDocument: Event<NotebookDocument>;
export const onDidCloseNotebookDocument: Event<NotebookDocument>;
// todo@API really needed?
export const onDidSaveNotebookDocument: Event<NotebookDocument>;
/**