projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 983b33e) | patch
Add installation chapter to manual. Remove now-redundant files from
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 1 Jun 2006 22:17:39 +0000 (22:17 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 1 Jun 2006 22:17:39 +0000 (22:17 +0000)
commit8d6b5c9e4c160c7e74de26c80a31f18bd5df5884
treeef0fe90c8af89224c8858e9ad9c8af9cebcbb200tree | snapshot
parent983b33e5df3aff45648920538c56de609b17f0cfcommit | diff
Add installation chapter to manual.  Remove now-redundant files from
src/utils, src/misc.

Update copyright years in license.  Add license to manual.
LICENSE diff | blob | history
doc/Makefile diff | blob | history
doc/installation.texi [new file with mode: 0644] blob
doc/intro.texi diff | blob | history
doc/license.texi [new file with mode: 0644] blob
doc/pintos.texi diff | blob | history
src/LICENSE diff | blob | history
src/misc/bochs-2.2.6.README [deleted file] blob | history
src/utils/README [deleted file] blob | history
Pintos public repository