From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 12 Jul 2009 14:50:11 +0000 (+0800)
Subject: Updated the developers' manual to reflect the new situation
X-Git-Tag: build37~53^2~9
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc4da1f8120bddad12c1326714438f05b594e6e1;hp=dc4da1f8120bddad12c1326714438f05b594e6e1;p=pspp-builds.git

Updated the developers' manual to reflect the new situation
---