From ee4a9477eca4e3dffe8217154facce6f02e4fc49 Mon Sep 17 00:00:00 2001
From: Steffen Jaeckel <steffen.jaeckel@stzedn.de>
Date: Wed, 20 Mar 2013 18:34:16 +0200
Subject: [PATCH] update gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 3054fb5d..a194dcc2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,6 +32,7 @@ timing.exe
 
 # oops ;) but we don't want them to appear in the repository...
 *.stackdump
+*.core
 
 # misc
 *.rej