diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2020-08-02 08:32:46 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-08-18 12:17:33 +0000 |
| commit | 5885ba822c99512b9b732a69aa1b934f33f442ff (patch) | |
| tree | eeb413fc7cfa8b4bdfc4208c9cc71e37647d69a5 /Documentation | |
| parent | 38819a450732f0151cf4ddaaf35fbb20573652d6 (diff) | |
src: Remove unused '<option.h>'
Change-Id: Icb79d60e9ec70a0780d5231698b88cff1db72c9b
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/44097
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions