projects / pintos-anon / commit
| author | Ben Pfaff <blp@cs.stanford.edu> | |
| Thu, 3 Jul 2008 19:30:05 +0000 (19:30 +0000) | ||
| committer | Ben Pfaff <blp@cs.stanford.edu> | |
| Thu, 3 Jul 2008 19:30:05 +0000 (19:30 +0000) | ||
| commit | 5af653aea4f817d41de3d2ab3a9eeaec44016234 | |
| tree | c0cc33af01bd326959f2773972df3ab602972a89 | tree | snapshot |
| parent | 401069bc9a5b60287a21798f8a69c2f1c84dcba7 | commit | diff |
| doc/devel.texi | diff | blob | history |