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

Overhaul IDE and Installation page #3294

Merged
merged 12 commits into from
Jul 26, 2024
Merged

Overhaul IDE and Installation page #3294

merged 12 commits into from
Jul 26, 2024

Commits on Jul 26, 2024

  1. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    f64134e View commit details
    Browse the repository at this point in the history

  2. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    364c98e View commit details
    Browse the repository at this point in the history

  3. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    d1befac View commit details
    Browse the repository at this point in the history

  4. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    20eb545 View commit details
    Browse the repository at this point in the history

  5. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    5f84772 View commit details
    Browse the repository at this point in the history

  6. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    8d8ab70 View commit details
    Browse the repository at this point in the history

  7. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    eabb4ba View commit details
    Browse the repository at this point in the history

  8. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    cc11122 View commit details
    Browse the repository at this point in the history

  9. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    df81de0 View commit details
    Browse the repository at this point in the history

  10. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    f133c42 View commit details
    Browse the repository at this point in the history

  11. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    f767b4d View commit details
    Browse the repository at this point in the history

  12. .

    @lihaoyi
    lihaoyi committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    b16ded6 View commit details
    Browse the repository at this point in the history