From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 15 Feb 2015 11:56:29 +0000 (+0100)
Subject: Makefile rule pspp.xml: Simplify slightly
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8db5254daa12f6d42c619751113fa919ff73a077;hp=8db5254daa12f6d42c619751113fa919ff73a077;p=pspp

Makefile rule pspp.xml: Simplify slightly
---