Add .git-blame-ignore-revs

rems-project · May 5, 2023 · c6e16a1 · c6e16a1
1 parent c435e8f
commit c6e16a1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -0,0 +1,2 @@
+# Run OCamlformat
+c435e8f54501333e99d25a43c227f854600e5527