diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:14:53 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2017-05-19 14:14:53 +0200 |
| commit | 411162469c343883b97c2463227ecf4e268d9060 (patch) | |
| tree | d538d21d1d9678aa2f71198d55ec8b44367204a1 /README.linux | |
| parent | d620fc0a5139645d3146405f0f54b5df32951dc1 (diff) | |
| download | pintos-rs-411162469c343883b97c2463227ecf4e268d9060.tar.gz | |
compile upg5 with -m32
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions