diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-07 13:22:59 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-07 13:22:59 +0200 |
| commit | adfc3cebf405f599292c7c8f131620837f0af93f (patch) | |
| tree | 06a97672fa4e623a23d7abe9556ffbe17fc8536d /dev | |
| parent | f2b28f819c16ad773ab5a2e426e3c0a478cbfdef (diff) | |
Remove cross-crypto from Travis. It is still tested in GitLab CI.
This fixes #7734.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions