CLEANUP: Update .gitignore

This excludes ar archives from being ignored.
2020-09-12 11:15:43 +05:00 · 2020-09-12 11:15:43 +05:00 · adf6b977ce
parent 870713bbc0
commit adf6b977ce
1 changed files with 1 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -31,6 +31,7 @@
 !/reg-tests
 # Reject some generic files
 *.o
+*.a
 *~
 *.rej
 *.orig