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 | abeff8ef42e842bf453d20fb8a743ce5653ede0d | |
| tree | db2c8343bb357a00f0e1f4c3b1583158b6eac895 | tree | snapshot |
| parent | 8314933870928091525e6c5fa3c3dccc98f78f7e | commit | diff |
| doc/devel.texi | diff | blob | history |