diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2018-04-18 17:15:50 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2018-04-18 17:15:50 +0200 |
| commit | f3e1dd764327c4d5361880c546bfa76baa97d32e (patch) | |
| tree | 1d275880b18ac812abc3bd15d7b650e092c5eef4 /README.linux | |
| parent | 4509fc2711408cc7f94fd466fee01b9ed5ec25bc (diff) | |
| parent | faedf3ab0659cff849034d85d7c58551afb2d5eb (diff) | |
| download | pintos-rs-f3e1dd764327c4d5361880c546bfa76baa97d32e.tar.gz | |
Merge branch 'new-gcc-qemu-fix' into 'master'
Fixed compilation issues on the latest GCC and QEMU.
See merge request !10
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions