X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=examples%2Frepairs.sav;h=37d8a51b2bb873627ee282010a3d5f04a3d504ce;hb=refs%2Fheads%2Fctables10;hp=d934fabb44c4825d1414f6e171d753e37b38abe8;hpb=82345b449ba35caaf89538b6f1de50dbed3ea9ac;p=pspp

diff --git a/examples/repairs.sav b/examples/repairs.sav
index d934fabb44..37d8a51b2b 100644
Binary files a/examples/repairs.sav and b/examples/repairs.sav differ