changed git plugin to include git grep aliased as ggr #1037

Closed
wants to merge 3 commits into
from

1 participant

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment