Skip to content

Add a rudimentary .desktop file#420

Merged
DHowett merged 1 commit intomainfrom
dev/lhecker/desktop-file
Jun 4, 2025
Merged

Add a rudimentary .desktop file#420
DHowett merged 1 commit intomainfrom
dev/lhecker/desktop-file

Conversation

@lhecker
Copy link
Member

@lhecker lhecker commented Jun 4, 2025

Closes #107

@DHowett DHowett enabled auto-merge (squash) June 4, 2025 20:44
@DHowett DHowett merged commit e87e66e into main Jun 4, 2025
3 checks passed
@DHowett DHowett deleted the dev/lhecker/desktop-file branch June 4, 2025 20:45
Lou32Verbose pushed a commit to Lou32Verbose/edit that referenced this pull request Jan 11, 2026
Closes microsoft#107

Co-authored-by: Mingcong Bai <jeffbai@aosc.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants