Add "Fix indentation in various non-legacy code" to .git-blame-ignore…

…-revs
goblint · Feb 14, 2024 · 24e33cc · 24e33cc
1 parent c3e2cc8
commit 24e33cc
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs
@@ -31,3 +31,6 @@ ec8611a3a72ae0d95ec82ffee16c5c4785111aa1
 
 # fix indentation in baseInvariant
 f3ffd5e45c034574020f56519ccdb021da2a1479
+
+# Fix indentation in various non-legacy code
+c3e2cc848479ae86de5542b6ab0e75a74e9cf8c9