From afd60c1d3b836223573a10c52231eaa6bb4aeed4 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Wed, 4 Jul 2018 18:47:50 -0500
Subject: [PATCH] .gitignore: Don't ignore all directories that have factor in
 them, e.g. extra/zealot/factor/

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

diff --git a/.gitignore b/.gitignore
index 362414e7e4..68df555f07 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,7 +14,6 @@ Factor/factor
 *.image
 factor.image.fresh
 *.dylib
-factor
 factor.com
 *#*#
 .DS_Store