X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2F.gitignore;h=282522db0342d8750454b3dc162493b5fc709cc8;hb=refs%2Fheads%2Flexer;hp=ef19fa00a72c829385eb0f0023c70fcd0848099e;hpb=5f53ff1a746b0654bf3ea93ed4280b74f0cf2201;p=pspp

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