diff options
| author | Michael Pratt <mpratt@google.com> | 2018-12-11 15:32:23 -0800 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-12-11 15:33:14 -0800 |
| commit | 2b6df6a2049e839e39717f90c1760f3d410c98f1 (patch) | |
| tree | 011cd5f6f38c8c273bd0e45982e218b6c813aee6 /WORKSPACE | |
| parent | 437f567ff7e6e3f86c97e290035911f7158276bf (diff) | |
Format unshare flags
unshare actually takes a subset of clone flags, but has no unique flags,
so formatting as clone flags is close enough.
PiperOrigin-RevId: 225082774
Change-Id: I5b580f18607c7785f323e37809094115520a17c0
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions