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

…