diff options
| author | Arthur Sfez <asfez@google.com> | 2021-03-03 12:15:45 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-03-03 12:18:55 -0800 |
| commit | 80bc67c268dba0126cd258075c06d744399e0f02 (patch) | |
| tree | 219ce74323b691e7bd14c1edf5172e82e352672f /tools/nogo | |
| parent | 32578a591c01b1a64ce0bc5c9c62be4e8689232d (diff) | |
Export stats that were forgotten
While I'm here, simplify the comments and unify naming of certain stats
across protocols.
PiperOrigin-RevId: 360728849
Diffstat (limited to 'tools/nogo')
0 files changed, 0 insertions, 0 deletions