diff --git a/.gitignore b/.gitignore index 62a33e91e..c9d78ff5a 100644 --- a/.gitignore +++ b/.gitignore @@ -98,6 +98,7 @@ buck-out/ /infer/bin/infer-report /infer/bin/infer-reportdiff /infer/bin/infer-run +/infer/bin/InferCreateTraceViewLinks /infer/man /infer/src/base/Version.ml