From: John Darrington Date: Sun, 20 Sep 2020 19:09:56 +0000 (+0200) Subject: src/ui/gui/psppire.xml: Add definition of PsppireKeypad X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f28264bfc3372eb21a639bcb5364600c0e54f459;p=pspp src/ui/gui/psppire.xml: Add definition of PsppireKeypad --- diff --git a/src/ui/gui/psppire.xml b/src/ui/gui/psppire.xml index f24291416e..4a0cd60c1f 100644 --- a/src/ui/gui/psppire.xml +++ b/src/ui/gui/psppire.xml @@ -6,6 +6,7 @@ +