From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 9 Feb 2012 20:35:53 +0000 (+0100)
Subject: Corrected typo in documentation
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ed5759bce6240120b67feb99813b291b802bbc98;hp=ed5759bce6240120b67feb99813b291b802bbc98;p=pspp

Corrected typo in documentation
---