diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2017-04-06 18:16:13 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2017-04-06 18:29:16 +0200 |
| commit | d620fc0a5139645d3146405f0f54b5df32951dc1 (patch) | |
| tree | 7accaf2a13d55e5208db998467a264c8bc4d2c63 /README.linux | |
| parent | 4803d5389bbbae4f837abd4ac7c87739fb4a8209 (diff) | |
| download | pintos-rs-d620fc0a5139645d3146405f0f54b5df32951dc1.tar.gz | |
support 64-bit compilation
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions