X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=.gitignore;h=b95fb408d582544e98972535f58b4411a374b5a6;hb=7cc207a704121d8e5f95775a4a64a84da9661e60;hp=92cb9b57ded6f842fdfe35c88128edc2356daca5;hpb=abac9b73490cd4d59a1e454c6ade5fd2073f2d2f;p=pspp

diff --git a/.gitignore b/.gitignore
index 92cb9b57de..b95fb408d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,5 +6,3 @@
 allsnippets.tmp
 amsnippet.tmp
 testdir*
-*.diff
-*.patch