Gilles Peskine 95c5575e12 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:13:24 +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 13:13:24 +02:00
suites	Update library version number to 2.13.1	2018-09-06 19:10:26 +01:00
.gitignore	Move some ignore patterns to subdirectories	2015-01-28 15:33:23 +00:00
CMakeLists.txt	Fix generate_test_code.py argument --helpers-file in CMakeLists.txt	2018-08-06 11:42:56 +01:00
compat.sh	Add ChachaPoly ciphersuites to compat.sh	2018-06-19 13:16:30 +02:00
Descriptions.txt	Add selftest program to the list of tests	2014-04-04 16:33:01 +02:00
Makefile	Fix "make WINDOWS_BUILD=1 clean" on non-Windows hosts	2018-09-26 16:50:31 +02:00
ssl-opt.sh	Merge remote-tracking branch 'public/pr/1988' into development	2018-08-30 00:57:28 +01:00