From: Ben Pfaff Date: Mon, 11 Apr 2016 05:22:27 +0000 (-0700) Subject: spv-file-format.texi: Work on more of the "format" element attributes. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce608320e0b30b4bfa7155acf500852f8783e4a4;hp=ce608320e0b30b4bfa7155acf500852f8783e4a4;p=pspp spv-file-format.texi: Work on more of the "format" element attributes. ---