HUPintos/pintos — pull request #3 by duwhop (2014-04-04 03:20:15+00:00)
Title: Deleted files from main directory, because they have been copied to indi...

...vidual project folders