diff options
| author | Adin Scannell <ascannell@google.com> | 2020-09-24 10:11:10 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-09-24 10:13:04 -0700 |
| commit | 0a7075f38a4870ded687e117a299ac4996c0673e (patch) | |
| tree | ab8808e8f94721b1ea269e748f128dad71544633 /Makefile | |
| parent | 5d50c91c4da820220adcfe9ce0741ed1e5e9f4b7 (diff) | |
Add basic stateify annotations.
Updates #1663
PiperOrigin-RevId: 333539293
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions