diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-23 13:46:02 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-23 13:46:02 -0700 |
commit | 9b5680a2cb6efd75c7fd1f7784cda2b6e5b98bfd (patch) | |
tree | 5133c61860babe051b1b555e67b3e9bb095374fe /src/proof/uf_proof.cpp | |
parent | 0539b0342b46e9fb96467a23f703bf2317692bb2 (diff) |
New C++ API: Remove examples for old API. (#4650)
This removes obsolete examples for the old API in preparation of making
the old API private. Examples for the new API are renamed from
*-new.cpp to *.cpp.
Diffstat (limited to 'src/proof/uf_proof.cpp')
0 files changed, 0 insertions, 0 deletions