mirror of
https://github.com/davunt/app-eraser.git
synced 2026-04-26 05:25:48 +03:00
[PR #7] [MERGED] Close running app #11
Labels
No labels
bug
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/app-eraser#11
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/davunt/app-eraser/pull/7
Author: @davunt
Created: 2/27/2023
Status: ✅ Merged
Merged: 2/27/2023
Merged by: @davunt
Base:
main← Head:close-running-app📝 Commits (2)
925ed23Apps will not quit prior to deletion21f6f9fAdded some new substrings to ignore when scanning files📊 Changes
7 files changed (+37 additions, -14 deletions)
View changed files
📝
README.md(+3 -2)📝
assets/css/about.css(+4 -0)📝
src/about/index.html(+1 -1)📝
src/main/controller.js(+19 -4)📝
utils/constants.js(+2 -2)📝
utils/fileRegex.js(+7 -0)📝
utils/pathLocations.js(+1 -5)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.