liuyuqi/pintos-freshstart — pull request #1 by t-k- (2014-06-18 02:47:53+00:00)
Title: Update shell.h

Oh, yuqi, a typo!