mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-01-25 18:35:28 +00:00
76c5185dcd
The main benefit is that this ensures that the directory always exists in a Git checkout. This way the maintenance scripts don't have to worry about the case where the directory doesn't exist. Also it unclutters `/.gitignore`. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>