Playground: Open RescriptCore by default #718

Closed

Closed

Playground: Open RescriptCore by default#718

Maxmood-sec/rescript-lang.org

(+1)

Milestone

opened

Member

When v11 is selected

added this to the v11.0 milestone

mentioned this in 2 pull requests

on Oct 20, 2023

Collaborator

@fhammerschmidt this is done, right?

MemberAuthor

Yes

closed this as completed

mentioned this in 2 pull requests

on Nov 27, 2023

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

v11.0
Closed Dec 28, 2024, 100% complete

Relationships

None yet

Development

Participants