tree f3e2ffdfd147ff099714c5d96ac90fbe10d5b702
parent 84d3adcd6c3887804c48cf688afd8ce79a55a777
author Davide Pesavento <davide.pesavento@lip6.fr> 1503767897 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503779996 -0400

ci+docs: remove all references to cryptopp/crypto++

Change-Id: I40fc72a8fa27c1a73c349e8cbaeb402a8b6af742
Refs: #3946