diff options
author | 2017-09-16 04:19:11 -0400 | |
---|---|---|
committer | 2017-09-16 04:19:11 -0400 | |
commit | bce09bed5ba274b50a517843ab042f7db79e7226 (patch) | |
tree | 711b48be43b2203b9a67aeda62cc45955bac1c9a /_CoqProject | |
parent | 101b567a4f24b140a9939f9bbffc67b0ad5e1e1b (diff) |
Drop test target on travis
It gives "illegal instruction" on p256
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions