Merge branch 'master' of git://factorcode.org/git/factor

diff --git a/.gitignore b/.gitignore
index 22dda8efb4b7d80d0abffccb5a77eeb385b6d221..b52c593b49078de911f8f400b84b53e698515c93 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,5 @@ build-support/wordsize
 .#*
 *.swo
 checksums.txt
+*.so
+a.out