Gilles Peskine 9ab9621511 Move 3rdparty mentions to a separate line ... This makes it easier to merge changes related to adding or removing 3rdparty items. No semantic change.		2020-02-19 20:13:29 +01:00
..
.jenkins
configs
data_files
docker/bionic
git-scripts
scripts	Move 3rdparty mentions to a separate line	2020-02-19 20:13:29 +01:00
suites	Merge pull request #346 from gilles-peskine-arm/mpi_copy_shrink	2020-02-06 09:52:01 +01:00
.gitignore
CMakeLists.txt
Descriptions.txt
make-in-docker.sh
Makefile
psa_crypto_helpers.h
psa_helpers.h