From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 29 Aug 2010 18:37:19 +0000 (-0700)
Subject: settings: Make viewwidth, viewlength "int"s instead of pointers.
X-Git-Tag: sav-api~57
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=add3ba666ddc4f88fbf0934184c82e35c0787795;hp=add3ba666ddc4f88fbf0934184c82e35c0787795;p=pspp

settings: Make viewwidth, viewlength "int"s instead of pointers.

I don't recall exactly why these were pointers any longer, but it doesn't
seem to be necessary any longer.  It is more straightforward if they are
just stored in the same way as the other settings.
---