Gilles Peskine 3400b4dbd6 check-files: exclude .git and third-party files ... Exclude ".git" directories anywhere. This avoids spurious errors in git checkouts that contain branch names that look like a file check-files.py would check. Fix #1713 Exclude "mbed-os" anywhere and "examples" from the root. Switch to the new mechanism to exclude "yotta/module". These are directories where we store third-party files that do not need to match our preferences. Exclude "cov-int" from the root. Fix #1691		2018-10-02 13:14:58 +02:00
..
data_files	Fix parsing of PKCS#8 encoded Elliptic Curve keys.	2018-03-28 11:29:21 +02:00
git-scripts	Add check-files.py to pre-push.sh	2018-06-05 11:57:21 +01:00
scripts	check-files: exclude .git and third-party files	2018-10-02 13:14:58 +02:00
suites	Update library version number to 2.7.6	2018-08-31 16:07:23 +01:00
.gitignore
CMakeLists.txt	Support out-of-tree testing with CMake	2018-03-21 12:28:59 +01:00
compat.sh	Fix multiple quality issues in the source	2018-06-08 11:14:43 +01:00
Descriptions.txt
Makefile	Make DLEXT var configurable in programs and tests makefiles	2018-03-27 20:04:18 +01:00
ssl-opt.sh	Merge remote-tracking branch 'public/pr/1956' into mbedtls-2.7	2018-08-28 12:16:11 +01:00