thorpej c92241b420 Correct a comment.		2002-02-24 20:51:56 +00:00
..
board	…
gzboot	Correct a comment.	2002-02-24 20:51:56 +00:00