Mention that keyboard input does not work with "pintos -v".
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 22 Dec 2005 20:49:13 +0000 (20:49 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 22 Dec 2005 20:49:13 +0000 (20:49 +0000)
commit9087580da55af9d9515c5d7cb73a48a62cf3a36b
treea12a65051dd8eeb8f505f9442f48b96889e81374
parentf84aed045737775ae0bd33b1fa27c48f73f9cd47
Mention that keyboard input does not work with "pintos -v".
doc/userprog.texi