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

diff --git a/.gitignore b/.gitignore
index 913ec74c53..2a3d71f3a8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /builds/
+/timings