diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 16:54:54 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2020-11-24 16:54:54 +0100 |
| commit | 1e79a64a45d4a9a1f2f9f6dfdd605e9435e5ab46 (patch) | |
| tree | bce1183e7d04ff6261330ee2b7a866685f93c202 /.gitignore | |
| parent | c64c8a29421b295232665e62af90fbfc6325a48a (diff) | |
| download | pintos-rs-1e79a64a45d4a9a1f2f9f6dfdd605e9435e5ab46.tar.gz | |
update README
* Links to Pintos
* Note about standard library extern "C"
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions