diff options
| author | Filip Strömbäck <fstromback@gmail.com> | 2020-05-14 10:25:00 +0200 |
|---|---|---|
| committer | Filip Strömbäck <fstromback@gmail.com> | 2020-05-14 10:25:00 +0200 |
| commit | b80c0aa351193793585cbfede56625cf72cf5060 (patch) | |
| tree | 99997098816b9278bdf40d4e04a06be764ef84fc /src/tests/userprog/exec-multiple.ck | |
| parent | 4748c3b46adcb03e0ba5489f722dd24298559d2c (diff) | |
| download | pintos-rs-b80c0aa351193793585cbfede56625cf72cf5060.tar.gz | |
Fixed typo in comment.
Signed-off-by: Filip Strömbäck <fstromback@gmail.com>
Diffstat (limited to 'src/tests/userprog/exec-multiple.ck')
0 files changed, 0 insertions, 0 deletions