diff options
| author |  Vijay Pai <vpai@google.com> | 2016-03-04 10:46:30 -0800 |
|---|---|---|
| committer | Vijay Pai <vpai@google.com> | 2016-03-04 10:46:30 -0800 |
| commit | 647def23765596dfac0bbcc3191960c8da68f12f (patch) | |
| tree | 0010ac443c27fa17fea08d516565bc54671e2de5 /tools/jenkins | |
| parent | da0d46ed815724d0b665529ae3ad6a811aebc501 (diff) | |
| parent | e7aa84fe8f51c065fcd84421eef01a802c1013a9 (diff) | |
Merge pull request #5547 from dgquintas/limit_cores_includes
Ensure that no #includes are inside of a namespace.
Diffstat (limited to 'tools/jenkins')
0 files changed, 0 insertions, 0 deletions