From: Ben Pfaff Date: Tue, 20 Dec 2005 22:58:44 +0000 (+0000) Subject: Allow .png as alternate for ASCII art. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ddaa7092a49f2164cc41c77b142132216e8a5fe;p=pintos-anon Allow .png as alternate for ASCII art. --- diff --git a/doc/threads.tmpl b/doc/threads.tmpl index 9d421f6..98c5c5c 100644 --- a/doc/threads.tmpl +++ b/doc/threads.tmpl @@ -61,7 +61,7 @@ FirstName LastName >> Identify the purpose of each in 25 words or less. >> Explain the data structure used to track priority donation. Use ASCII ->> art to diagram a nested donation. +>> art to diagram a nested donation. (Alternately, submit a .png file.) ---- ALGORITHMS ----