diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-23 15:18:13 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-23 15:18:13 +0100 |
| commit | 0a399b1135a9af3b488953b934b25687ab87018d (patch) | |
| tree | 89185506eedb789334cecf6a59f6243c380673af /README.linux | |
| parent | 30c54113477b08c7650194a16cf7a63a7cdd142f (diff) | |
| download | pintos-rs-0a399b1135a9af3b488953b934b25687ab87018d.tar.gz | |
only link librust when needed
Diffstat (limited to 'README.linux')
0 files changed, 0 insertions, 0 deletions