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 | |||
| 141 | *.o | 141 | *.o |
| 142 | *.res | 142 | *.res |
| 143 | *.so | 143 | *.so |
| 144 | *.dll | ||
| 144 | [0-9]*.core | 145 | [0-9]*.core |
| 145 | core | 146 | core |
| 146 | core.*[0-9] | 147 | core.*[0-9] |