From f64b175cd843bb30fe1b85f89fda5eb921623da9 Mon Sep 17 00:00:00 2001
From: Jonas Kvinge <jonas@jkvinge.net>
Date: Fri, 22 Feb 2019 20:38:08 +0100
Subject: [PATCH] Fix .gitignore

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 6b77415b..1c4bf4e5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -53,7 +53,6 @@ _deps
 *.app
 
 # Dump files
-core
 *.core
 *.stackdump