Gilles Peskine c426352ec5 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. 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 19:01:16 +02:00
..
data_files	Merge remote-tracking branch 'upstream-public/pr/1379' into development-proposed	2018-03-29 10:57:57 +01:00
git-scripts	Add check-files.py to pre-push.sh	2018-05-21 11:41:18 +01:00
scripts	check-files: exclude .git and third-party files	2018-10-02 19:01:16 +02:00
suites	Skip calling memset when the size is 0	2018-09-27 13:57:45 +02:00
.gitignore
CMakeLists.txt	add psa_crypto to test suites	2018-09-05 12:41:49 +03:00
compat.sh	Add ChachaPoly ciphersuites to compat.sh	2018-06-19 13:16:30 +02:00
Descriptions.txt
Makefile	Fix "make WINDOWS_BUILD=1 clean" on non-Windows hosts	2018-09-27 13:57:45 +02:00
ssl-opt.sh	Merge remote-tracking branch 'public/pr/1988' into development	2018-08-30 00:57:28 +01:00