On Tue, Jul 07, 2020 at 08:06:23PM -0700, Scott Branden wrote: > Some people want the header files included in each c file they are used. > Others want header files not included if they are included in another header > file.
Ah, yes. That's fine then, leave them in the .c files. -- Kees Cook
