From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 11 Feb 2012 18:22:17 +0000 (-0800)
Subject: examples: Change extensions from .stat to .sps.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=c5526c9acb2c33a265b6be745a6d83a870ebd666;hp=c5526c9acb2c33a265b6be745a6d83a870ebd666;p=pspp

examples: Change extensions from .stat to .sps.

.sps makes a lot more sense.

Reported-by: Harry Thijssen <pspp@sjpaes.nl>
---