diff options
| author | Elyes Haouas <ehaouas@noos.fr> | 2024-04-03 17:06:18 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2024-04-04 20:22:49 +0000 |
| commit | 722565671618baeec9690a70a94c75467cb44117 (patch) | |
| tree | 567b66ea9a55d48f65c8cb86368bb4dae13c1643 /util/release/gerrit_stats.pl | |
| parent | c45d5c8c6be825375dd11c1e18b55b6e3975615f (diff) | |
tree: Remove duplicated <stdint.h>
<types.h> is supposed to provide <stdint.h>.
Change-Id: Ia68a0dc8fba4a48401e213ebb8356e32f0a019ab
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81633
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'util/release/gerrit_stats.pl')
0 files changed, 0 insertions, 0 deletions