projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 98c2fc1)
Update docs.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Sep 2004 21:41:12 +0000 (21:41 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Sep 2004 21:41:12 +0000 (21:41 +0000)
doc/projects.texi patch | blob | history

diff --git a/doc/projects.texi b/doc/projects.texi
index 08ee9e574247f2eb4324b90cf5f489164baf4ee8..a342fe7cc769098e7cb266a4fd6becfad815e161 100644 (file)
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -19,3 +19,4 @@
 @c @include devel.texi
 @include mlfqs.texi
 @include standards.texi
+@include doc.texi
Pintos public repository