4000b42b0dc11a30eed8198c08ccda1c773a68e9 - gigaboot20x6

commit: 4000b42b0dc11a30eed8198c08ccda1c773a68e9
[log]
author: Brian Swetland <swetland@google.com>
Wed Apr 27 18:52:12 2016 -0700
committer: Brian Swetland <swetland@google.com>
Wed Apr 27 18:53:34 2016 -0700
tree: c8ad4840bbccd4bebcd968a87340640bf6e5a888
parent: 2b185a23d22af32b345f46aeaa10937218bca66f [diff]

[gnu-efi] always use the external stdint.h

Change-Id: Ia9f09b5a18500c601ab8b7e200cfefb55a9148eb

1 file changed

tree: c8ad4840bbccd4bebcd968a87340640bf6e5a888