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 | 33160e0720eb514f819ce5386fae6f51c1626350 | |
| tree | 1352567b17567cbe23270aafcd48545caef3950f | tree | snapshot |
| parent | abeff8ef42e842bf453d20fb8a743ce5653ede0d | commit | diff |
| doc/devel.texi | diff | blob | history | |
| doc/localsettings.texi | diff | blob | history |