diff options
author | Rahat Mahmood <rahat@google.com> | 2018-12-10 12:47:20 -0800 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-12-10 12:48:02 -0800 |
commit | fc297702511edef4760c4f7a1d89cc6f02347d50 (patch) | |
tree | 8bdcb8a8086af0de4db2525b1ea1327449e89bf1 /.gitignore | |
parent | 99d595869332f817de8f570fae184658c513a43c (diff) |
Add type safety to shm ids and keys.
PiperOrigin-RevId: 224864380
Change-Id: I49542279ad56bf15ba462d3de1ef2b157b31830a
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions