projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 021e47d) | 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)
commitbe9aa9a652ea92ba5459c9337b6738de61b54eae
tree0f313753666f004908b8d9a742b2f4e76b7889e8tree | snapshot
parent021e47db7a7a0527bc7d0a9eefb25d4f36caace0commit | 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