diff options
| author | Jamie Liu <jamieliu@google.com> | 2018-08-31 13:06:16 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-31 13:07:34 -0700 |
| commit | b1c1afa3ccc499df3fd15814d2b6cf9005bc2ab1 (patch) | |
| tree | cabe3477d97115533c287e9f1008d734ed7d518f /pkg/sentry/kernel/BUILD | |
| parent | 7e18f158b2ea87b7f06f8e0b91e10558b4f52722 (diff) | |
Delete the long-obsolete kernel.TaskMaybe interface.
PiperOrigin-RevId: 211131855
Change-Id: Ia7799561ccd65d16269e0ae6f408ab53749bca37
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions