X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=1d69e1696363c481df809fff20fbafe821dfce85;hb=66b8883bc3cf003d01093e23d896872e7149a669;hp=34a109ebd7340706b3eb4e9331430d8f178d8ec2;hpb=29444b52c65173576337c1bf5b0844484766a8ee;p=pspp

diff --git a/.gitignore b/.gitignore
index 34a109ebd7..1d69e16963 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,3 +38,4 @@ gitlog-to-changelog
 *.a
 *.dirstamp
 *.deps
+*.la