Browse Source

update gitignore

Steffen Jaeckel 12 years ago
parent
commit
ee4a9477ec
1 changed files with 1 additions and 0 deletions
  1. 1 0
      .gitignore

+ 1 - 0
.gitignore

@@ -32,6 +32,7 @@ timing.exe
 
 # oops ;) but we don't want them to appear in the repository...
 *.stackdump
+*.core
 
 # misc
 *.rej