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 | 4f47311e149d2be0a46049cc1c482c41ff3336d1 | |
| tree | 7d288bbd04098bcadb7f8348493e02b9b5e0dd48 | tree | snapshot |
| parent | 78eeb7122de7d0df2a5f37fc3b834b54e9bcf91d | commit | diff |
| doc/localsettings.texi | diff | blob | history |