c0af695426
Copyright headers shouldn't contain the filename (and especially shouldn't contain a different file's filename). Change-Id: I82690a3bf371265402bc16f5d2fbb9299c3a1926 |
||
---|---|---|
.. | ||
_types.h | ||
asm.h | ||
cdefs.h | ||
elf_machdep.h | ||
endian.h | ||
exec.h | ||
ieee.h | ||
internal_types.h | ||
kernel.h | ||
limits.h | ||
setjmp.h |