diff options
| author | Andrei Vagin <avagin@google.com> | 2019-10-01 16:24:19 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-10-01 16:25:34 -0700 |
| commit | 29207cef141983647816b2270fe6419e56630c64 (patch) | |
| tree | e247b06e2edad6f0ba10068a9bdbea6d0f1b6c9b /scripts/dev.sh | |
| parent | 0d483985c57a2d001039d17bd198e2eca0f4ff7f (diff) | |
runsc: remove todo from the build file
b/135475885 was fixed by cl/271434565.
PiperOrigin-RevId: 272320178
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions