diff options
| author | Eric Engestrom <[email protected]> | 2019-03-12 10:25:54 +0000 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2019-05-17 11:21:48 +0100 |
| commit | 6a1f609a4c5d18dcc56e45567dbdda2be8f10313 (patch) | |
| tree | 7c94e1ab5ccc7d664dd8e6081cafffab49f174a0 /.gitignore | |
| parent | d7501834cd86f9ec0b7c3dea17448dc523e36390 (diff) | |
gitlab-ci: build-test the tools as well
Suggested-by: Rob Clark <[email protected]>
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Michel Dänzer <[email protected]>
Reviewed-by: Eric Anholt <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions