From 63b0906c9289f7e6aeb3d555f17fd53b77a0ed8b Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 6 Oct 2013 02:25:29 -0700
Subject: [PATCH] * .gitignore: Ignore *.a files.

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

diff --git a/.gitignore b/.gitignore
index 2b93d4b..dea650e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
+*.a
 *.asc
 *.o
 *.tar.gz