diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:57:47 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:57:47 +0200 |
| commit | e91e5351f64f5d0503c7971b44f3aeec704a407c (patch) | |
| tree | 449e252c0de618f04295ffc59982192129f07101 /src/utils/backtrace | |
| parent | b3a10d1f31095182e04fa7712268a8369e2436b1 (diff) | |
| download | pintos-rs-e91e5351f64f5d0503c7971b44f3aeec704a407c.tar.gz | |
pintos script: removed cpu kvm32 setting
Diffstat (limited to 'src/utils/backtrace')
0 files changed, 0 insertions, 0 deletions