projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1bc4f6f)
doc: Fix typo.
authorFarshad Ghanei <farshadg@buffalo.edu>
Wed, 14 Feb 2018 00:45:37 +0000 (19:45 -0500)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 15 Feb 2018 03:41:42 +0000 (19:41 -0800)
Fixed a type in the Guide, Section E.5 , Subsection E.5.1 Using GDB,


No differences found
Pintos public repository