From 3efb9cf76910560afe09af0b5e80c903ead466d1 Mon Sep 17 00:00:00 2001
From: Jakub Jirutka <jakub@jirutka.cz>
Date: Fri, 1 Dec 2017 17:34:36 +0100
Subject: [PATCH] gitignore: fix to not ignore directories named "core"

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

diff --git a/.gitignore b/.gitignore
index a922156cf40..9313b042bdf 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@ pkg
 pkg-*
 build.log
 core
+!core/