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