X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=.gitignore;h=2a3d71f3a81bb03bb1dc388ac46c7923f534412d;hp=913ec74c53037fc3ddfcaacfb11836e58a29096e;hb=HEAD;hpb=19e7202b8a487769e2965b9b8f7148da39bf9504

diff --git a/.gitignore b/.gitignore
index 913ec74c53..b4930bb6e6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,4 @@
 /builds/
+/timings
+spread-sheet-widget*.tar.gz
+*.sig