diff options
author | Aric Gardner <agardner@linuxfoundation.org> | 2019-03-29 15:01:45 -0400 |
---|---|---|
committer | Aric Gardner <agardner@linuxfoundation.org> | 2019-03-29 15:08:15 -0400 |
commit | 155d8bf69ba6bfb4707b17bb778b77648bf5110a (patch) | |
tree | 15353e6d8ae3116358e3128c7a03a7088d3aaa45 /src/vagrant | |
parent | 5794cb03dce9afbd77e4183bcfc73d8f5425fd69 (diff) |
Fix trevortao and Linting for info file
Trevor Tao had full name rather than lfid.
Bin Lu had incorrect lfid. should be: lubinsz
Yamlling found duplicate mappings.
Please merge.
Change-Id: I7ac2f41397174056d0dba3aa3e32af7fbdd2bec5
Signed-off-by: Aric Gardner <agardner@linuxfoundation.org>
Diffstat (limited to 'src/vagrant')
0 files changed, 0 insertions, 0 deletions