Skip to content

Delete files that should not be in dest-dir#58

Open
venthur wants to merge 6 commits into
masterfrom
delete_extra_files
Open

Delete files that should not be in dest-dir#58
venthur wants to merge 6 commits into
masterfrom
delete_extra_files

Conversation

@venthur
Copy link
Copy Markdown
Owner

@venthur venthur commented Aug 6, 2022

No description provided.

@hede5562
Copy link
Copy Markdown

hede5562 commented May 22, 2026

I'd also prefer to have have this kind of functionality included.
Nevertheless, my refresh command is:
rm -r -- build/* && blag build
... so this implementation within blag is not mandatory.

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