From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 23 Jun 2013 08:49:12 +0000 (+0200)
Subject: variable.c: (var_set_width)  traits other than width may also be set
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=inline;h=c7037d42254bb3c0e1dac2e1bd6ef95c6db8ba27;hp=c7037d42254bb3c0e1dac2e1bd6ef95c6db8ba27;p=pspp

variable.c: (var_set_width)  traits other than width may also be set
---