X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2F.gitignore;h=282522db0342d8750454b3dc162493b5fc709cc8;hb=0c6fe0ede4a5ef3cbbfeda5831f50db00566d1a4;hp=ef19fa00a72c829385eb0f0023c70fcd0848099e;hpb=b4a6c30a471d7d37c901dea56e68d751d1578e90;p=pspp-builds.git

diff --git a/lib/.gitignore b/lib/.gitignore
index ef19fa00..282522db 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -1,6 +1,2 @@
 Makefile
 Makefile.in
-dcdflib/
-gmp/
-julcal/
-misc/