Skip to content

JS linters#1057

Merged
martinRenou merged 6 commits intojupyter-widgets:masterfrom
martinRenou:js_linters
Sep 23, 2022
Merged

JS linters#1057
martinRenou merged 6 commits intojupyter-widgets:masterfrom
martinRenou:js_linters

Conversation

@martinRenou
Copy link
Member

No description provided.

@martinRenou martinRenou marked this pull request as ready for review September 23, 2022 11:46
@martinRenou martinRenou merged commit 7410e38 into jupyter-widgets:master Sep 23, 2022
@martinRenou martinRenou deleted the js_linters branch September 23, 2022 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant