Add coverity folder to gitignore

meetecho · Sep 10, 2024 · 5ce0537 · 5ce0537
1 parent 08a7d88
commit 5ce0537
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -60,6 +60,8 @@ npm/src
 .deps
 .dirstamp
 
+cov-int
+
 # OS X
 .DS_Store