diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-08 11:10:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-08 11:10:14 -0800 |
commit | bcbf146f0786035b0228eb4bcd13eb2bc6ca5f9b (patch) | |
tree | 809ac98dbd38daea8f322e4306ca835f1bf7abe4 /proofs/signatures/th_bv.plf | |
parent | 4395b6d728d2a25bff3a56801f7218d79834f423 (diff) |
Build api tests in build/bin/test/api. (#6076)
Previously, api tests where built in build/test/api instead of in the
bin directory for the tests.
Diffstat (limited to 'proofs/signatures/th_bv.plf')
0 files changed, 0 insertions, 0 deletions