minosgalanakis d103046a59 Merge pull request #10324 from gilles-peskine-arm/query_config-glob-headers ...

query_config.fmt: glob headers instead of listing them explicitly

2025-07-28 13:25:51 +00:00

..

mbedtls

Merge pull request #10324 from gilles-peskine-arm/query_config-glob-headers

2025-07-28 13:25:51 +00:00

.gitignore

Rename include directory to mbedtls

2015-03-10 11:23:56 +00:00

CMakeLists.txt

Adapt libraries installation

2024-06-13 09:02:30 +02:00