ignore kani folder for grep or files findings if needed

zjp-CN · zjp-CN · commit 73b713c9dae7 · 2025-04-15T10:27:07.000+08:00
diff --git a/.gitignore b/.gitignore
@@ -1 +1,4 @@
 /target
+
+# ignore kani folder for grep or files findings
+# kani

-Original file line number
+Diff line change
@@ @@ -1 +1,4 @@ @@
 /target
++
 +# ignore kani folder for grep or files findings
 +# kani