projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d18533c) | patch
Minor documentation updates
authorJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
committerJohn Ousterhout <ouster@cs.stanford.edu>
Thu, 17 Dec 2015 17:28:35 +0000 (09:28 -0800)
commitbffccc54acc0560186b8c38bc4a66897de5158eb
treea9a3e4295c9253956a04ee42c7a955e2394d031etree | snapshot
parentd18533cc294552c39f69781e5a9b04b8882b6364commit | diff
Minor documentation updates

Fixed typos and obsolete info, removed Stanford dependencies.
doc/filesys.texi diff | blob | history
doc/intro.texi diff | blob | history
doc/localsettings.texi diff | blob | history
doc/threads.texi diff | blob | history
doc/userprog.texi diff | blob | history
doc/vm.texi diff | blob | history
Pintos public repository