From: Ben Pfaff Date: Sun, 16 Jul 2017 18:20:00 +0000 (-0700) Subject: Update structure member descriptions. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=inline;h=d19037e528f40400799790646e8cfafc027da304;hp=d19037e528f40400799790646e8cfafc027da304;p=pspp Update structure member descriptions. ---