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

Process CLI arguments before starting gui #9217

Merged
merged 6 commits into from
Oct 12, 2022
Merged

Process CLI arguments before starting gui #9217

merged 6 commits into from
Oct 12, 2022

Commits on Oct 5, 2022

  1. Process CLI arguments before starting gui

    @tobiasdiez
    tobiasdiez committed Oct 5, 2022
    Configuration menu
    Copy the full SHA
    a0c1739 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2022

  1. Merge branch 'main' into launcher_impro

    @tobiasdiez
    tobiasdiez authored Oct 10, 2022
    Configuration menu
    Copy the full SHA
    7e98f35 View commit details
    Browse the repository at this point in the history

  2. Fix style issues

    @tobiasdiez
    tobiasdiez committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    1d40e3e View commit details
    Browse the repository at this point in the history

  3. forward port

    @tobiasdiez
    tobiasdiez committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    42b621a View commit details
    Browse the repository at this point in the history

  4. Display logs on ui thread

    @tobiasdiez
    tobiasdiez committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    3b34398 View commit details
    Browse the repository at this point in the history

  5. more checkstyle

    @tobiasdiez
    tobiasdiez committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    39c450e View commit details
    Browse the repository at this point in the history