Skip to content

Rewrite pluto monaco editor#5

Merged
terasakisatoshi merged 5 commits intomainfrom
terasaki/rewrite-PlutoMonacoEditor
Dec 22, 2024
Merged

Rewrite pluto monaco editor#5
terasakisatoshi merged 5 commits intomainfrom
terasaki/rewrite-PlutoMonacoEditor

Conversation

@terasakisatoshi
Copy link
Copy Markdown
Member

No description provided.

@terasakisatoshi
Copy link
Copy Markdown
Member Author

JuliaPluto/featured#75

@terasakisatoshi terasakisatoshi merged commit 846d04c into main Dec 22, 2024
@terasakisatoshi terasakisatoshi deleted the terasaki/rewrite-PlutoMonacoEditor branch December 22, 2024 06:20
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