diff options
| author | Fabricio Voznika <fvoznika@google.com> | 2018-09-28 12:20:56 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-09-28 12:22:21 -0700 |
| commit | 2496d9b4b6343154525f73e9583a4a60bebcfa30 (patch) | |
| tree | 3ac4c3c1ea5813a2c3a32ea8b4d05e01db0d99d1 /WORKSPACE | |
| parent | fb65b0b471621b430969fe1c3009bee68209bf67 (diff) | |
Make runsc kill and delete more conformant to the "spec"
PiperOrigin-RevId: 214976251
Change-Id: I631348c3886f41f63d0e77e7c4f21b3ede2ab521
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions