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 /proofs/clenvtac.ml | |
parent | f2b28f819c16ad773ab5a2e426e3c0a478cbfdef (diff) |
Remove cross-crypto from Travis. It is still tested in GitLab CI.
This fixes #7734.
Diffstat (limited to 'proofs/clenvtac.ml')
0 files changed, 0 insertions, 0 deletions