diff options
| author | Andrei Vagin <avagin@google.com> | 2019-07-03 22:50:26 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2019-07-03 22:51:26 -0700 |
| commit | 67f2cefce02816307805699c3462d6fd7ce61b69 (patch) | |
| tree | ac9b1a7501385c29589699a2cedbf871214ec4a0 /tools | |
| parent | da57fb9d25d947195147868253a928f83980c1fd (diff) | |
Avoid importing platforms from many source files
PiperOrigin-RevId: 256494243
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions