projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad15679) | patch
Suggest 17.14 instead of 21.10 because the extra precision may be
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 22:15:44 +0000 (22:15 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 22:15:44 +0000 (22:15 +0000)
commit356128cacb827f30a4c2ce4f1003a0617ab245c5
tree74e6eb2b5c145e8e192c94870ef3b99f7c1ea370tree | snapshot
parentad15679e64c257df1447acebeed22d1f76607ff6commit | diff
Suggest 17.14 instead of 21.10 because the extra precision may be
necessary for some implementations.
Thanks to Matt Page <mpage@stanford.edu> and "Jeff Sun"
<precisely@gmail.com> for the suggestion.
doc/44bsd.texi diff | blob | history
Pintos public repository