diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:50:27 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:50:27 +0200 |
| commit | b3a10d1f31095182e04fa7712268a8369e2436b1 (patch) | |
| tree | 75d2b499382d6ea49d69a0bdb296ed7026e69697 /README.linux | |
| parent | 3abaf43c09556e45e144fddca971909ecbe50671 (diff) | |
| download | pintos-rs-b3a10d1f31095182e04fa7712268a8369e2436b1.tar.gz | |
pintos script modifications for qemu/linux
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions