Wieder was gelernt

git grep

Tags: git
2021-06-16
git grep $PATTERN $(git rev-list --all)