diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-17 12:01:42 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-17 12:01:42 -0400 |
| commit | a83d1f59605a06fc22b399b38ce4b831d38b6442 (patch) | |
| tree | e0ed508aee6f20f52050584d0bc7e8b0349288e9 /README | |
| parent | 54ab0e29794e9f22aacd206102d9e4d643e28efe (diff) | |
Add reservation-related system calls
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions