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

diff --git a/.gitignore b/.gitignore
index c360325340..b95fb408d5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,6 @@
 *~
 .#*
 \#*#
+allsnippets.tmp
+amsnippet.tmp
 testdir*