X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=b50c6a377a2ab182f2ebaddd06e8abfc12ac5ca3;hb=5166f6d2f3bdf3ccdce7d4d459ea1687bde8ebdd;hp=1d69e1696363c481df809fff20fbafe821dfce85;hpb=f735fdacc31eab6c9cb612d1b56ae227eccb88d3;p=pspp-builds.git

diff --git a/.gitignore b/.gitignore
index 1d69e169..b50c6a37 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,3 +39,4 @@ gitlog-to-changelog
 *.dirstamp
 *.deps
 *.la
+*.libs