insikk/pintos_os2 — pull request #2 by insikk (2012-09-17 14:38:49+00:00)
Title: Merge for README file change on Today's TEAM MEETING.

NO CONTENT