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
|