projects / pintos-anon / commit
| author | John Ousterhout <ouster@cs.stanford.edu> | |
| Thu, 17 Dec 2015 17:43:57 +0000 (09:43 -0800) | ||
| committer | John Ousterhout <ouster@cs.stanford.edu> | |
| Thu, 17 Dec 2015 17:43:57 +0000 (09:43 -0800) | ||
| commit | 7410ba55d1c8076a8ea24e5afe54dc820a18733b | |
| tree | 020d706ba8210e4403c126e35a6f2058f4ea1648 | tree | snapshot |
| parent | 5999404c2b4cec0c27676a7fc81596662875aea5 | commit | diff |
| doc/localsettings.texi | diff | blob | history |