diff options
author | 2021-02-12 15:12:43 +0100 | |
---|---|---|
committer | 2021-02-12 15:12:43 +0100 | |
commit | c5dd7cd75ddf7d3a8d4804213c25b7495a41f172 (patch) | |
tree | 3b710b4fedc13773765a1f1904bd01082ae70f9e /docs | |
parent | 3a90a3eee631968834ef1de74f06be36b83e7a3c (diff) |
Remove obsolete job
It's currently disabled and can be easily generated.
Let's remove it until it's needed.
Change-Id: Ic88dbd2adc33f5d298cdbdb87a6bf17413021a5a
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions