Ignore formatting clean-up on term/def lists

amartini51 · amartini51 · commit 7b67a55238ec · 2024-07-05T10:13:49.000-07:00
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -19,3 +19,6 @@
 
 # Convert the formal grammar to markdown.
 4039ee0ef4e69d2cf6460861f9444a499503db16
+
+# Clean up formatting of term-definition lists
+c914c44ccdbbda757ee43e5d4c777abf24391a1a
