Skip to content

Conversation

@tshepang
Copy link
Member

This is better because

  • ./x clean also removes it, without needing extra text to explain it
  • Does not need an extra .gitignore entry

This is better because
- `./x clean` also removes it, without needing extra text to explain it
- Does not need an extra .gitignore entry
@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label May 31, 2025
@Noratrieb Noratrieb merged commit c067de3 into master May 31, 2025
1 check passed
@tshepang tshepang deleted the tshepang-patch-1 branch May 31, 2025 20:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants