Ignore the preceding commit in blame history, being a formatting change.

axch · Oct 21, 2022 · 9937a16 · 9937a16
1 parent ef500cc
commit 9937a16
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -0,0 +1,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