diff options
| author |   Mohammed Hawari <mohammed@hawari.fr> | 2023-02-02 13:29:28 +0100 |
|---|---|---|
| committer |   Damjan Marion <dmarion@0xa5.net> | 2023-02-08 10:13:51 +0000 |
| commit | 9db6db065a78003d5105a660d3e8ddf0cf889d16 (patch) | |
| tree | 9f05c8f3c82ae71c11d99f8a8341f7cfc47c0080 /.github | |
| parent | 11d9d02459ee3ac6ae402dd565aabbdfeea2c4fb (diff) | |
build: allow skipping external-deps
Change-Id: I0e5090ec6978af0dc4baecc7654918cf40663f42
Signed-off-by: Mohammed Hawari <mohammed@hawari.fr>
Type: feature
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions