diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:55:52 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:55:52 +0200 |
| commit | 6d80739be4f882005c98a4b8000c1c5cde8d0a4e (patch) | |
| tree | 2fbd306663ad74350c97d21d8774284389b368ee /src/lib | |
| parent | 9336320b82d48403d982502e358242072d2a9a1a (diff) | |
| download | pintos-rs-6d80739be4f882005c98a4b8000c1c5cde8d0a4e.tar.gz | |
recursive poweroff fix
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions