From: Godmar Back <godmar@gmail.com>
Date: Wed, 5 Nov 2008 04:31:45 +0000 (-0500)
Subject: clarified specification for wait() system call
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0ba9f0015a2af957e583e552740d19e337229d87;hp=0ba9f0015a2af957e583e552740d19e337229d87;p=pintos-anon

clarified specification for wait() system call
---