Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: add code workspace #15

Merged
merged 1 commit into from
Sep 27, 2024
Merged

feat: add code workspace #15

merged 1 commit into from
Sep 27, 2024

Commits on Sep 27, 2024

  1. feat: add code workspace 

    This will prompt users who download the repository to
install lean if they don't have it already, and sets up the
environment with "blessed" settings like stripping newlines.
    @bollu
    bollu committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    4722c2d View commit details
    Browse the repository at this point in the history