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

A proposal for a more comprehensive CLI property interface #38

Merged
merged 12 commits into from
Sep 18, 2023
Merged

A proposal for a more comprehensive CLI property interface #38

merged 12 commits into from
Sep 18, 2023

Commits on Sep 15, 2023

  1. More comprehensive cli interface

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    2b7922f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into cli-interface-proposal

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    0f87d01 View commit details
    Browse the repository at this point in the history

  3. Correct the docs

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    e39b2bc View commit details
    Browse the repository at this point in the history

  4. Small fixes for docs

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    4a37e83 View commit details
    Browse the repository at this point in the history

  5. Clippy suggestion

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    887589b View commit details
    Browse the repository at this point in the history

  6. More clippy suggestions

    @JustusAdam
    JustusAdam committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    b57a0dc View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2023

  1. Merge branch 'main' into cli-interface-proposal

    @JustusAdam
    JustusAdam authored Sep 17, 2023
    Configuration menu
    Copy the full SHA
    ecd4ff6 View commit details
    Browse the repository at this point in the history

  2. Improve documentation

    @JustusAdam
    JustusAdam committed Sep 17, 2023
    Configuration menu
    Copy the full SHA
    bf30498 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2023

  1. Sketch out the diagnostics approach Will wanted

    @JustusAdam
    JustusAdam committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    2bbfc15 View commit details
    Browse the repository at this point in the history

  2. Formatting and clippy

    @JustusAdam
    JustusAdam committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    39d2cea View commit details
    Browse the repository at this point in the history

  3. Add a sentence about diagnostics

    @JustusAdam
    JustusAdam committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    c2eaaf8 View commit details
    Browse the repository at this point in the history

  4. Damn formatting

    @JustusAdam
    JustusAdam committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    d5025e5 View commit details
    Browse the repository at this point in the history