From: Ben Pfaff Date: Sun, 17 Jan 2016 19:13:44 +0000 (-0800) Subject: Start working on detail XML. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00357578f9bdbe00e5237bdb82dc80ec2214cbef;hp=00357578f9bdbe00e5237bdb82dc80ec2214cbef;p=pspp Start working on detail XML. ---