diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:45:25 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:45:25 +0100 |
| commit | 901c721468d1a30d0968ad3cb72a20eaa9e3fb8a (patch) | |
| tree | fa795d3a089a6b570cecc67f7f42ba348f6cee40 /README.linux | |
| parent | c57b3079ef115ebf3a5fa25acdae043b31948ef3 (diff) | |
| download | pintos-rs-901c721468d1a30d0968ad3cb72a20eaa9e3fb8a.tar.gz | |
specify debug compilation
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions