diff --git a/.gitignore b/.gitignore index 82d6c881..28597c91 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ # Windows stuff *.obj *.exe +*.lib # Patch leaves these lying arround *.orig