diff --git a/.gitignore b/.gitignore index 067f17872..4ab623a09 100644 --- a/.gitignore +++ b/.gitignore @@ -55,10 +55,6 @@ org.eclipse.core.resources.prefs .DS_Store # Directories and files generated by Infer -*.o.astlog -*.o.sh -*.o.bdump -*.o.biniou infer-sources.tar.gz infer-osx-*.tar.xz infer-linux64-*.tar.xz