| commit | 7b6b2ccacf76b78337ff511b60354e2c2e1c3851 | [log] [tgz] |
|---|---|---|
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | Mon Dec 07 23:37:33 2020 +0000 |
| committer | GitHub <noreply@github.com> | Mon Dec 07 23:37:33 2020 +0000 |
| tree | 4291de2c1486245553ab9e8ecb2f26d1c5e66262 | |
| parent | 35d4cf0b9ac4e224bd9c6443db0489c5cb1e908c [diff] | |
| parent | 20fb2139bf2ba936c4f4c937e594cc9a4cea9169 [diff] |
Merge #262 262: Remove `libtock_platform::allows`. r=hudson-ayers a=jrvanwhy Tock 2.0 system calls do not need the types in `allows`. Now that I'm reworking `libtock_platform` to use Tock 2.0 system calls, we can get rid of the module. Co-authored-by: Johnathan Van Why <jrvanwhy@google.com>