pintos-os.org Git - pintos-anon/commit

author	Farshad Ghanei <farshadg@buffalo.edu>
	Wed, 14 Feb 2018 00:45:37 +0000 (19:45 -0500)
committer	Ben Pfaff <blp@cs.stanford.edu>
	Thu, 15 Feb 2018 03:41:42 +0000 (19:41 -0800)
commit	ae554d8c38d5ef45c15571323bcc6ba03834f7a3
tree	952b7ce3442b1e8723cef098bf7012011b49ebf2	tree \| snapshot
parent	b3fd5809a1412113b57509ee90986a7fc2db0e9c	commit \| diff

doc: Fix typo.

Fixed a type in the Guide, Section E.5 , Subsection E.5.1 Using GDB,