From: John Darrington <john@darrington.wattle.id.au>
Date: Mon, 15 May 2006 08:12:18 +0000 (+0000)
Subject: Deleted code which rendered the button labels twice.
X-Git-Tag: sav-api~1855
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a41320734db91e05381eb4235e92ed0131bb776c;hp=a41320734db91e05381eb4235e92ed0131bb776c;p=pspp

Deleted code which rendered the button labels twice.
---