diff options
author | Jamie Liu <jamieliu@google.com> | 2018-06-27 13:41:50 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-06-27 13:42:37 -0700 |
commit | 4215e059e24c5ed6298060769444b0eeaa03da8a (patch) | |
tree | 0d4d4faa4c7f1019396e229eb6a5960b2ff2823f /.gitignore | |
parent | f93043615f31214193c9079d38498028331c72ca (diff) |
Ignore MADV_DONTDUMP and MADV_DODUMP.
PiperOrigin-RevId: 202361912
Change-Id: I1d0ee529073954d467b870872f494cebbf8ea61a
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions