diff options
| author |   Marco Platania <platania@research.att.com> | 2020-03-25 11:44:09 -0400 |
|---|---|---|
| committer |   Morgan Richomme <morgan.richomme@orange.com> | 2020-03-27 18:09:59 +0000 |
| commit | 6bdc9faaa21f823cbb64d713e2d0c1fa3abe410b (patch) | |
| tree | 3c6ec114b601967ad7a05249adbdd33f15ef7539 /.gitignore | |
| parent | 78f8d30c96ae934cf170f7646057ce7e8e54a401 (diff) | |
Set SKIP_LINT=TRUE to speed up installation
Issue-ID: OOM-2335
Signed-off-by: Marco Platania <platania@research.att.com>
Change-Id: I803781947a9fe84e153cdbd6f94d9f21b8bcdb6f
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions