diff --git a/.gitignore b/.gitignore index 80ee46b7..515ad842 100644 --- a/.gitignore +++ b/.gitignore @@ -65,6 +65,8 @@ make.log *~ *.swp *.tmp +*.orig +*.rej # PVS static analysis outputs or ephemerals pvs-*