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

Add launcher shortcuts on Linux #458

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Add launcher shortcuts on Linux #458

wants to merge 3 commits into from

Commits on Oct 23, 2024

  1. Add launcher shortcuts on Linux 

    Doesn't add desktop shortcuts due to complications with how gnome
handles desktop files

Resolves wpilibsuite#136

Signed-off-by: Jade Turner <[email protected]>
    @spacey-sooty
    spacey-sooty committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    dfebd75 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Merge branch 'main' into linux-shortcuts

    @spacey-sooty
    spacey-sooty authored Oct 25, 2024
    Configuration menu
    Copy the full SHA
    d3beff2 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2024

  1. fix java tools 

    Signed-off-by: Jade Turner <[email protected]>
    @spacey-sooty
    spacey-sooty committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    bebadad View commit details
    Browse the repository at this point in the history