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/make_apt.sh | |
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/make_apt.sh')
0 files changed, 0 insertions, 0 deletions