SuccessChanges

Summary

  1. Remove useless PKI port (details)
Commit 5c08a639ba8b7cb8dc73cab6830f56cd48661376 by yann.garcia
Remove useless PKI port
The file was modifiedetc/AtsPki/AtsPki.cfg
The file was modifiedttcn/LibIts
The file was modifiedREADME.md
The file was modifiedccsrc/Externals/LibItsSecurity_externals.cc
The file was modifiedetc/TestCodec/TestCodec.cfg
The file was modifiedttcn/TestCodec/TestCodec_SignedAndEncryptedMessages.ttcn
The file was modifiedttcn/TestCodec/TestCodec_Pki.ttcn
The file was modifiedttcn/AtsPki/ItsPki_TestCases.ttcn