Add some entries to gitignore

[jubjub.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 3516bb476f05adfc23ea28d1ead31079074c7fa3..11a4f80d0987197a418c29c6f8d05bda3ccba4df 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 *.o
 *.so
 *.dylib
+*.a
 *~
 .deps
 aclocal.m4
@@ -11,3 +12,4 @@ config.h.in
 config.log
 config.status
 configure
+src/jubjub