mirror of
https://github.com/PlayCover/PlayCover.git
synced 2026-04-26 00:05:52 +03:00
[PR #411] [MERGED] Remove rm use #1603
Labels
No labels
UI
app-support
bug
bug
documentation
duplicate
enhancement
game-support
good first issue
help wanted / caution
inactive
invalid
macos-beta
pull-request
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/PlayCover#1603
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/PlayCover/PlayCover/pull/411
Author: @IsaacMarovitz
Created: 10/10/2022
Status: ✅ Merged
Merged: 10/10/2022
Merged by: @Depal1
Base:
develop← Head:develop📝 Commits (3)
9009c8eRemoverm15fa41aFix lint6fbac53Fix📊 Changes
2 files changed (+18 additions, -14 deletions)
View changed files
📝
PlayCover/Utils/Shell.swift(+0 -13)📝
PlayCover/Views/App Views/PlayAppView.swift(+18 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.