diff options
| author | Elyes Haouas <ehaouas@noos.fr> | 2024-05-29 12:51:57 +0200 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2024-06-08 00:23:19 +0000 |
| commit | ba47ff7197a522f7fd932f6f1dbbe3ad819c7a09 (patch) | |
| tree | f72b76009b5b112d739005faddd855c50cf5b9b7 /Documentation | |
| parent | b498a4c805e5de9a190b97c91ac7a166b421b31f (diff) | |
tree: Remove unused <option.h>
Change-Id: Ia3df14ebd365c00902b5d2ba300d8ade4c2d6c26
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/82690
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Sean Rhodes <sean@starlabs.systems>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions