diff options
| author | Gustav Sörnäs <gustav@sornas.net> | 2021-02-21 19:34:35 +0100 |
|---|---|---|
| committer | Gustav Sörnäs <gustav@sornas.net> | 2021-02-21 19:44:26 +0100 |
| commit | ec5c4ad0b9cb68c0405728c913c42a3f5f412b37 (patch) | |
| tree | 7a4e8ff8379e3fa1d8441a8e540deb32d87e3edb /src/.gitignore | |
| parent | bd53394e2e05bf7897574f55ab6f88f7bcc2e258 (diff) | |
| download | pintos-ec5c4ad0b9cb68c0405728c913c42a3f5f412b37.tar.gz | |
child reports success of load to parent
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions