karamel icon indicating copy to clipboard operation
karamel copied to clipboard

Consider renaming the internal headers

Open msprotz opened this issue 10 months ago • 0 comments

from https://github.com/hacl-star/hacl-star/pull/1025 -- having files named identically can cause problems down the line, so it might be a good idea to have a different name for the internal headers, like a _internal suffix

suggestion by @chris-eibl

msprotz avatar Mar 04 '25 21:03 msprotz