Skip to content

Load prelude automatically #12

Open
Open
Load prelude automatically#12
@Trebor-Huang

Description

@Trebor-Huang
Trebor-Huang
opened on Sep 17, 2022
  • In project?
  • Globally?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions