Some suggestions from "Waqar Mohsin" <wmohsin@gmail.com>
[pintos-anon] / src / tests / userprog / lib / user / .dummy
2004-09-20 Ben PfaffAdd dummy file to ensure that lib/user is kept in CVS.