projects / pintos-anon / commit
| author | Ben Pfaff <blp@cs.stanford.edu> | |
| Thu, 3 Jul 2008 19:31:27 +0000 (19:31 +0000) | ||
| committer | Ben Pfaff <blp@cs.stanford.edu> | |
| Thu, 3 Jul 2008 19:31:27 +0000 (19:31 +0000) | ||
| commit | 8a983a2f9697daf07e8fdab3459f0fe99b3d22ad | |
| tree | 41ec9ce7c7681880dfa9226ff2d4c8fb3012536c | tree | snapshot |
| parent | 5af653aea4f817d41de3d2ab3a9eeaec44016234 | commit | diff |
| doc/devel.texi | diff | blob | history | |
| doc/localsettings.texi | diff | blob | history |