git-prune

Plugin of oh-my-zsh for deleting branches already merged in your git repositorie

Shell35gpl-3.0

12 months ago

cargo-unused-features

cargo-unused-features

Find potential unused enabled feature flags and prune them.

Rust242mit

5 months ago