diff options
author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2017-05-27 19:07:37 +0300 |
---|---|---|
committer | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2017-07-11 06:50:19 +0000 |
commit | bf2d219996123d1f44f66f91a210a54d52113e87 (patch) | |
tree | 37eb6594d0115cf09706286db9e24db89c8bdf68 /src/lib/gnat/gnat.ads | |
parent | 8f2cdad882ba8859f297826a851a7e08564104b4 (diff) |
binaryPI boards: Drop unused header
We remove this particular header file already while remaining
of include fixes is longterm and pending work.
Change-Id: I869d426c1344290a00e2df60e07e9a4a3ae26887
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/19950
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/lib/gnat/gnat.ads')
0 files changed, 0 insertions, 0 deletions