diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 86e377eb0c0..34b0c02fec4 100644 --- a/.gitignore +++ b/.gitignore @@ -141,6 +141,7 @@ src/stamp-h1 *.o *.res *.so +*.dll [0-9]*.core core core.*[0-9] |