Skip to content

Remove/empty the out directory before stripping#8

Merged
Bonajo merged 3 commits intomainfrom
2-removeempty-the-out-directory
Jun 15, 2023
Merged

Remove/empty the out directory before stripping#8
Bonajo merged 3 commits intomainfrom
2-removeempty-the-out-directory

Conversation

@Bonajo
Copy link
Copy Markdown
Contributor

@Bonajo Bonajo commented Jun 15, 2023

Fixes #2

@Bonajo Bonajo linked an issue Jun 15, 2023 that may be closed by this pull request
@Bonajo Bonajo self-assigned this Jun 15, 2023
@Bonajo Bonajo merged commit a9fc049 into main Jun 15, 2023
@Bonajo Bonajo deleted the 2-removeempty-the-out-directory branch June 15, 2023 12:58
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.

Remove/empty the out directory

1 participant