X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=4033d25e44d57a24c1845179410ba638da729829;hb=5fd9a363ce94db60416e8cefad462c0b1d0f2bb7;hp=ad1ca01a94aef3769045f7ab8e3c43548281e22f;hpb=b6b1285781853d4e749f03e3ace5cf975e89f0b0;p=pspp

diff --git a/.gitignore b/.gitignore
index ad1ca01a94..4033d25e44 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,4 +7,4 @@ dump
 tdump*
 ndump*
 pspp.jnl
-
+dump2