From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 1 Jun 2006 22:17:39 +0000 (+0000)
Subject: Add installation chapter to manual.  Remove now-redundant files from
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=8d6b5c9e4c160c7e74de26c80a31f18bd5df5884;hp=8d6b5c9e4c160c7e74de26c80a31f18bd5df5884;p=pintos-anon

Add installation chapter to manual.  Remove now-redundant files from
src/utils, src/misc.

Update copyright years in license.  Add license to manual.
---