Gilles Peskine 7f61575cba New, documented pylint configuration ... The pylint configuration in .pylint was a modified version of the output of `pylint --generate-rcfile` from an unknown version of pylint. Replace it with a file that only contains settings that are modified from the default, with an explanation of why each setting is modified. The new .pylintrc was written from scratch, based on the output of pylint on the current version of the files and on a judgement of what to silence generically, what to silence on a case-by-case basis and what to fix.		2019-02-27 11:03:24 +01:00
..
.jenkins
data_files	Merge remote-tracking branch 'public/pr/2040' into development	2019-01-23 10:28:25 +01:00
git-scripts	Merge development commit 8e76332 into development-psa	2019-01-31 08:20:20 -05:00
scripts	New, documented pylint configuration	2019-02-27 11:03:24 +01:00
suites	Write documentation for TEST_ASSERT	2019-02-15 10:13:35 -05:00
.gitignore
CMakeLists.txt	Merge development commit 8e76332 into development-psa	2019-01-31 08:20:20 -05:00
compat.sh	Fix #2370, minor typos and spelling mistakes	2019-01-24 10:37:40 +01:00
Descriptions.txt
Makefile	psa: Include PSA headers for tests and programs	2018-11-23 15:22:44 +00:00
ssl-opt.sh	Merge development-psa commit 80b5662 into development-psa-merged branch	2019-02-05 06:02:51 -05:00