diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:46:39 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 00:46:39 +0100 |
| commit | 0f45ab11bd271535f178b58aab1ae9c36474d995 (patch) | |
| tree | 682d7c9d4e33776b0c0f3bb87bb052bcddf914ef /src/LICENSE | |
| parent | 901c721468d1a30d0968ad3cb72a20eaa9e3fb8a (diff) | |
| download | pintos-rs-0f45ab11bd271535f178b58aab1ae9c36474d995.tar.gz | |
also remove libpintos.a
Diffstat (limited to 'src/LICENSE')
0 files changed, 0 insertions, 0 deletions