summaryrefslogtreecommitdiff
path: root/.git-blame-ignore-revs
blob: 04e001e72c1b2834ed2bb894bd014ff18416f5a2 (plain)
1
2
3
4
5
# Run this command to always ignore these in local `git blame`:
# git config blame.ignoreRevsFile .git-blame-ignore-revs

# Formatted TopLevel.hs to 80 character width
ef500cc06f96bddcc355d0e29945a3d48dd19867