From: John Darrington <john@darrington.wattle.id.au>
Date: Tue, 8 Dec 2015 07:44:23 +0000 (+0100)
Subject: Fix minor grammatical error in documentation
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=55178119a1dd305b7e0c3254cf5b6ddf6784e34f;hp=55178119a1dd305b7e0c3254cf5b6ddf6784e34f;p=pspp

Fix minor grammatical error in documentation
---