From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 28 Feb 2016 14:08:54 +0000 (+0100)
Subject: Added makefile to build the efficient-sheet
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=inline;h=730db1fd677a4fc14dec0ca03959b94d09df7ff7;hp=730db1fd677a4fc14dec0ca03959b94d09df7ff7;p=pspp

Added makefile to build the efficient-sheet
---