diff options
| author | Kevin Krakauer <krakauer@google.com> | 2021-04-05 11:54:50 -0700 |
|---|---|---|
| committer | Kevin Krakauer <krakauer@google.com> | 2021-05-06 13:04:59 -0700 |
| commit | eded0d28de7f62423e496d89fd2699bb02e2744f (patch) | |
| tree | 13a6b4648fc3973adf4b4bba0bd7e8218fa805ae /WORKSPACE | |
| parent | a6c623ed9f971d6fbebddaf9ad03d357994647cc (diff) | |
mark types as saveable
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions