mirror of
https://github.com/cuberite/polarssl.git
synced 2025-08-18 10:06:15 -04:00

Add the possibility to distinguish between public and non-public include directories. Public directories are the one to use to access definitions of 3rd party code interfaces. Signed-off-by: Ronald Cron <ronald.cron@arm.com>