.gitignore: Don't ignore all directories that have factor in them, e.g. extra/zealot...

[factor.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 362414e7e45c92c917a98146bd4904fbcc05795e..68df555f076c466dbc29689fe93e29ca947bdf34 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -14,7 +14,6 @@ Factor/factor
 *.image
 factor.image.fresh
 *.dylib
-factor
 factor.com
 *#*#
 .DS_Store