From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Nov 2008 01:12:23 +0000 (-0800)
Subject: Add FAQ item to explain doubled test names in output.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54913c009db0536777e2637dc57e69372ba4dbef;hp=54913c009db0536777e2637dc57e69372ba4dbef;p=pintos-anon

Add FAQ item to explain doubled test names in output.

Suggested by Godmar.
---