Skip to content

feat(deno): Use interface for WidgetOptions for better JSR docs - #498

Merged
manzt merged 1 commit into
mainfrom
interface
Mar 23, 2024
Merged

feat(deno): Use interface for WidgetOptions for better JSR docs#498
manzt merged 1 commit into
mainfrom
interface

Conversation

@manzt

@manzt manzt commented Mar 23, 2024

Copy link
Copy Markdown
Owner

No description provided.

@changeset-bot

changeset-bot Bot commented Mar 23, 2024

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: 80b8a93

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
@anywidget/deno Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@manzt
manzt merged commit 4aa16a4 into main Mar 23, 2024
@manzt
manzt deleted the interface branch March 23, 2024 13:07
@github-actions github-actions Bot mentioned this pull request Mar 23, 2024
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