mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-04-13 23:51:38 +02:00
The original pattern would catch any extension, which could include things like editor backup files etc, that we'd rather ignore. Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>